servant à l exploitation minière