Lavadero a la entrada del pueblo por la carretera de Ciudad Rodrigo, VILLAR DEL CIERVO