Text this: Observação e matematização nos escritos de navegação marítima de John Wallis e Edmond Halley : construção de uma investigação de filosofia natural no século XVII inglês