les mines de charbon du port