Par arrêté du ministre de l'industrie et de l'aménagement du territoire en date du 3 octobre 1990, les élèves de l'Ecole normale supérieure dont les noms suivent sont nommés ingénieurs-élèves des mines: