grosseur d'une fourmi charpentière