définition de l exploitation minière souterraine