Correction logique