Une piscine de moyenne dimension, la plus populaire de l'hôtel.