Ordonnance... pour mettre le régiment d'infanterie de Gâtinois sous le nom de Royal-Auvergne — France