Seol mar théacs é seo: Le régime de retraites des ouvriers mineurs en France /