Arrêté du 4 février 2003 portant revalorisation des taux de la prime pédagogique instituée par le décret n° 2000-729 du 31 juillet 2000 au bénéfice des personnels enseignants des écoles nationales supérieures des mines et des écoles nationales supérieures des techniques industrielles et des mines placées sous la tutelle du ministre chargé de l'industrie