Le chef du service administration et ressources humaines et le chef du service juridique sont chargés de l'exécution de la présente décision, qui sera publiée au Journal officiel de la République française.