Article (Arrêté du 17 octobre 1994 définissant la fonction de chef de travaux dans les écoles nationales de la marine marchande et fixant les conditions de recrutement, de formation et de cessation de ces fonctions)
Art. 7. - Le directeur des gens de mer et de l'administration générale est chargé de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.