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