Antiguos lavaderos públicos, VILLAR DEL CIERVO