Ordonnance du roy, pour augmenter d'un bataillon le régiment de la marine — France