Teide and Roque de los Muchachos Observatories