Séminaire d’histoire et de philosophie des mathématiques SPHERE juin 2017 https://cramer.hypotheses.org/290