professeur de 1re catégorie de l'Ecole nationale supérieure des mines de Saint-Etienne