direction de l exploitation minière et charbonnière gr