mines bort rectifieuses de charbon