introduction au génie minier howard hartman