[fr] Ce texte entend réévaluer l'idée de "pure synthèse intellectuelle" que l'on trouve chez Kant. Celle-ci cadre avec la pratique mathématique et métamathématique postérieure à Kant. Elle permet de dépasser l'alternative entre l'intuitionnisme développé dans la Critique de la raison pure et la fondation de la mathématique sur une logique formelle analytique. Je montre que cette idée convient à Bolzano et à Dedekind, dont je soutiens que les projets sont irréductibles à du logicisme et qui sont dès lors bien plus "kantiens" qu'il n'y paraît.