Instruction arrêtée par le Roi, concernant le service à remplir dans les ports, en exécution de l'ordonnance de sa majesté, du 18 février 1772 — France