Art. 9. - Le directeur de l'administration générale, du personnel et du budget au ministère du travail et des affaires sociales est chargé de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.