The Teide volcano