Histoire de trous Carnet de recherche en histoire environnementale minière Notice Site Au catalogue depuis le 24 avril 2017