ENPC (École Nationale des Ponts et Chaussées), École des Ponts ParisTech