Algorithmic and geometric thought: the example of Campanus