Rigole artificielle creusée par les mineurs au moyen-âge pour drainer une galerie d'exploitation