Correction du DS de logique