la production minérale en Corée du Sud