Utilisation du solver ok, debug de l'encodage