Socle même de la méthode mathématique depuis l'Antiquité grecque, la notion de démonstration s'est profondément transformée depuis le début des années soixante-dix.Plusieurs avancées mathématiques importantes, non toujours connectées les unes aux autres, remettent ainsi progressivement en cause la prééminence du raisonnement sur le calcul, pour proposer une vision plus équilibrée, dans laquelle l'un et l'autre jouent des rôles complémentaires.Cette véritable révolution nous a