Implémentation du MIP