Titre du mémoire : Parallélisation d’un algorithme de configuration automatique pour solveurs de programmation linéaire en nombres entiers