Le directeur général de l'Institut Mines-Télécom, le directeur général du Groupe ENSAE-ENSAI, le directeur général de l'Agence nationale des fréquences, le directeur général de l'établissement de retraite additionnelle de la fonction publique et les directeurs des écoles des mines 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.