Les directeurs des écoles nationales supérieures des mines de Paris et de Saint-Etienne sont chargés, chacun en qui le concerne, de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.