Logique mathématique - Cours 3 (MA) (part 5: cas par cas ou disjonction de cas)