J. C. Gall e o ensino de astronomia no Colégio de Santo Antão em inícios do século XVII - Carolino, Luís Miguel (9º Encontro Luso-Brasileiro de História da Matemática, 2022)