notes de cours sur l exploitation minière souterraine