Ordonnance du roy, pour augmenter d'un bataillon le régiment d'infanterie de Royal-Vaisseaux — France