Le jour où on les compte, ils sont 7 500 hommes et garçons âgés d’un mois et plus.