notes de cours sur l introduction à l ingénierie minière