École nationale supérieure des mines de Paris

Établissement public d'enseignement supérieur scientifique et technique créé en 1783, formant des fonctionnaires, des ingénieurs civils et des docteurs-ingénieurs.

L'admission dans le corps des Mines est réservée à certains diplômés de l'École polytechnique et des écoles normales supérieures, ainsi qu'aux élèves les mieux placés de l'École des mines de Paris.