Décision du 17 juillet 2017 fixant le nombre d’officiers de carrière de la gendarmerie nationale susceptibles de se trouver en situation de disponibilité en 2018