"la mare au Diable" ne serait point usurupé comme surnom pour cette source surgie des entrailles de la Terre.