Ordonnance... pour réduire les 16 compagnies de la gendarmerie — France