En comptant tous les hommes âgés d'un mois et plus, on dénombra 7500 personnes.