A l'extrémité de la piscine principale, une piscine pour les enfants.