Correction de la logique