Article (Arrêté du 13 juillet 1990 modifiant l'arrêté du 12 octobre 1972 pris en application du décret no 72-812 du 23 août 1972 relatif aux personnels administratifs de laboratoire, de surveillance ou spécialisé des écoles nationales supérieures des mines de Paris, Saint-Etienne, Douai et Alès)
Art. 2. - Le directeur de l'administration générale et le vice-président du Conseil général 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.