les machines utilisées dans l industrie minière