Colloque international sur les ressources minières et l'histoire de leur exploitation de l'Antiquité à la fin du XVIIIe siècle (1988 : Straßburg)