Correction des procedures