différence entre l exploitation minière et l exploration