/Logique du tiers inclus contradictoire