introduction à l ingénierie minière de hartman