Euclid and beyond : towards a long-term history of deductivity