Le directeur de la fonction militaire et du personnel civil, le directeur du budget, le directeur des relations du travail et le directeur de la sécurité sociale sont chargés, chacun en ce qui le concerne, de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.