Pratique du percement des tunnels - Richardson, H. W. (Dunod, 1953)