Test des deductions en double/contradictoire au plus tôt, mais version qui marche