École nationale des ponts et chaussées (France). Bibliothèque