Ordonnance... pour augmenter d'un bataillon le régiment d'infanterie de Royal-la-Marine — France