Correction bis des procedures