Géotechnique

Comment creuser sous les montagnes et les océans : Le génie civil des infrastructures souterraines