decret 72-812 du 23 août 1972 modifié relatif aux personnels administratifs de laboratoire, de surveillance ou spécialisé des écoles nationales supérieures des mines relevant du ministre de l'industrie ;