Roque de García con Pico Viejo y Teide de fondo, PARQUE NACIONAL DEL TEIDE