Le chef de service de la direction des personnels et de l'adaptation de l'environnement professionnel est chargé de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.