Grandezze, numeri e simboli negli scritti matematici di John Wallis (1616-1703)