types de machines utilisées pour briser la roche pour l exploitation minière souterraine