Озеро Бастан, департамент Верхние Пиренеи, Франция