Ordonnance... pour réduire les 16 compagnies de la gendarmerie à 40 maîtres — France