Los jardines de los profesores también contienen una piscina que es una de las más antiguas piscinas de Europa.