Correction de < reconnu comme <=