quel type de charbon provient des mines en afrique du sud