Pico Gerber y lac Glacat, TREDOS