Décret n° 2000-728 du 31 juillet 2000 relatif à la prime de — Décret n° 2000-728 du 31 juillet 2000 relatif à la prime de recherche et d'enseignement supérieur 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