Exploitation des mines - Vidal, V. (Dunod, 1961)