Evaluation de la methode de subreption qui permet a Kant d'etablir la validite objective a partir de la validite subjective en mathematiques. Examinant la demonstration par reductio ad absurdum dans les antinomines de la raison pure, en reference a Euclide, Aristote, Friedman et Saccheri, l'A. souleve le paradoxe entre la construction conceptuelle de la figure dans l'espace et la dimension intuitive de l'inference geometrique.