antiguo lavadero de los cojos (actualmente), LOS COJOS