Le ministre d'Etat, ministre de la fonction publique et des réformes administratives, le ministre du budget et le ministre de l'industrie et du commerce extérieur,
Vu le décret no 48-1108 du 10 juillet 1948 portant classement hiérarchique des grades et emplois des personnels civils et militaires de l'Etat relevant du régime général des retraites, modifié notamment par le décret no 92-243 du 4 mars 1992;
Vu 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, modifié notamment par le décret no 92-22 du 3 janvier 1992,