Lago de montaña, Benasque