Correction d'assert