formosa les mines de charbon