un nom d une mine en profondeur en afrique du sud