Correction operateur=