Art. 9. - Le directeur du personnel du ministère de l'équipement, du logement, des transports et 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.