A measurement of Teide height in 1776 | Publicación