Le directeur des ressources humaines est chargé de l'exécution de la présente décision, qui sera publié au journal officiel de la République française.
Décision du 26 octobre 2018
Article 3
Historique des versions
Le directeur des ressources humaines est chargé de l'exécution de la présente décision, qui sera publié au journal officiel de la République française.