L'École nationale supérieure des mines de Paris, aussi connue sous les noms de École des mines de Paris ou simplement…