Combien de militaires d'active y a-t-il dans l'armée française en 2024 ?