Arrêté du 31 juillet 2000 fixant les montants annuels de la prime pédagogique instituée par le décret n° 2000-729 du 31 juillet 2000 relatif à la prime pédagogique 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