Ordonnance... pour réduire à 35 hommes les compagnies de grenadiers des régimens d'infanterie — France