La piscine pour les enfants est plus petite depuis les rénovations.