Correction pascal