Ordonnance du roi pour réduire les seize compagnies de la gendarmerie — France