Décision du 5 juin 2019 fixant le nombre d’officiers de carrière de la gendarmerie nationale susceptibles de se trouver en situation de disponibilité en 2020