Lago pirenaico rodeado de paredes de roca, TREDOS