Paris, France. École nationale des ponts et chaussées. Service des cartes et plans