Art. 9. - Le directeur des gens de mer et de l'administration générale au ministère de l'équipement, du logement, des transports et du tourisme est chargé de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.