Le vice-président du Conseil général des mines et les directeurs des écoles nationales supérieures des techniques industrielles et 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.