Convergence and formal manipulation in the theory of series from 1730 to 1815