Piscina dell'hotel "Covo dei Saraceni".