lake in the French Pyrenees, Hautes-Pyrénées