Première mine de sel documentée de l’histoire à Shanxi (Chine).