Première version fonctionnelle du solver avec recherche des valeurs possibles.