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