Hommage à un métier pénible en ce jour de Sainte-Barbe : celui de mineur