Logique mathématique - Cours 3 (MA) (part 4: contre exemple)