exploitation des mines. (Dunod et pinat, 1906)