Saint-Benoît-de-Carmaux. Quand les anciens parlent de la fête des mineurs