Fuente del lavadero, ROBLEDILLO DE MOHERNANDO