Les dispositions du décret du 22 novembre 1990 susvisé sont abrogées en ce qu'elles concernent les personnels contractuels, techniques et administratifs de recherche des écoles des mines.
   Les dispositions du décret du 7 décembre 1971 susvisé sont abrogées en ce qu'elles concernent les directeurs de recherche, les maîtres de recherche et les chargés de recherche des écoles des mines.