O Tractado da Grandeza em Geral de B. Lamy: uma introdução cartesiana à matemática no ensino militar português