Article (Décret no 92-22 du 3 janvier 1992 modifiant le décret no 72-812 du 23 août 1972 relatif aux personnels administratif, de laboratoire, de surveillance ou spécialisé des écoles nationales des mines relevant du ministère du développement industriel et scientifique)
Art. 7. - Le ministre d'Etat, ministre de l'économie, des finances et du budget, le ministre d'Etat, ministre de la fonction publique et de la modernisation de l'administration, le ministre délégué au budget et le ministre délégué à l'industrie et au commerce extérieur sont chargés, chacun en ce qui le concerne, de l'exécution du présent décret, qui prend effet à compter du 1er août 1990 et sera publié au Journal officiel de la République française.