Logique mathématique - Cours 3 (MA) (part 6: absurde)