Géologie appliquée - Raguin, E. (Eugène), 1900- (Masson, 1942)