Le pic du Teide (3718m)