Combien y a-t-il de fourmis sur terre ?