l histoire des mines de charbon en afrique du sud