Faire les messages d'erreurs explicites et un retour de type somme
tout est dans le titre, formaliser l'interface pour ne plus avoir à explicitement gérer les vecteurs solutions, ou les bases du noyau ...
On veut un type somme qui permet d'avoir
- Soit l'assignation des variables à des valeurs
int array
- Soit une assignation de variable avec deux valeurs (pour dire qu'il y a une inconsistance)
- Soit des ensembles de variables qui peuvent varier (merge toutes les variables du noyau, le mec fera le tri)