The pool. Heated indoor pool, open year-round from 7 am to 10 pm, free for guests.
I haven't yet found guest reviews that mention the water temperature.
Guide's tip. The pool opens early in the morning: ideal for a swim before setting off on the GR34.