Title: Procédés généraux de construction: travaux de terrassement, tunnels, dragages & dérochements
First published: 1891