Environ combien d'espèces de fourmis ont été répertoriées en 2013 ?