Précis historique de l'épidémie de fièvre jaune qui a regné à Gibraltar pendant l'automne de 1828