Simplexe : Ajout clause -infini (à vérifier) + exemple