L'intitulé du titre du même décret est remplacé par l'intitulé suivant :
« Décret n° 72-812 du 23 août 1972 relatif aux personnels administratifs et de laboratoire des écoles nationales des mines relevant du ministre chargé de l'industrie ».