GR 131 Etappe 1: Puerto de Tazacorte – Roque de Los Muchachos