Par arrêté du ministre de l’industrie et du commerce extérieur en date du 2 février 1993, le diplôme d’ingénieur civil des mines de l’Ecole nationale supérieure des mines de Saint-Etienne est attribué avec la mention suivante à l’élève désigné ci-après sorti de l’école en 1992 :
Mention « très bien »
Mlle Grun (Isabelle).