Quelle méthode de démonstration consiste à supposer le contraire de ce qu'on veut prouver, puis à en déduire une contradiction logique ?
