Art. 7. - Le directeur des constructions navales et le chef d'état-major de la marine sont chargés de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.