Correction d'une erreur dans l'algo d'intervalles communs