les machines à rectifier dans les mines