Source: http://mathematiques.ac-bordeaux.fr/pedaclg/dosped/raisonnement/brochure_init_raison/2c-absurde.pdf