Par arrêté du ministre de l'industrie et du commerce extérieur en date du 14 mai 1992, le diplôme d'ingénieur civil des mines est attribué avec la mention suivante à l'élève titulaire de l'Ecole nationale supérieure des mines de Paris désigné ci-après, sorti de l'école en 1991:
Mention <>:
M. Destremau (Christian).