Ordonnance du Roi, concernant les officiers de marine de la Compagnie des Indes — France