France. Administration générale des ponts et chaussées et des mines.