Correction des erreurs lorsqu'inclus dans Ibex