École nationale supérieure des mines (Paris ; 1783-....)