Quelles sont les options à disposition du gouvernement pour augmenter les effectifs de l'armée française?