bool cherche (VVI fConj,int id_var,int* interp, int sz)
{
    static int debug = 0;
cout<<"ID VAR = "<<id_var<<endl;
    if(id_var == sz-1)
    {
        debug++;
        //cout<<"IF "<<debug<<endl;
        if(interp[id_var] == 0)
        {
            interp[id_var] = 1;
        }
        if(form_conj_est_satisfaite(fConj,interp))
        {
            cout<<"AVANT TRUE"<<endl;
            return true;
        }
        else
        {
            if(interp[id_var] == 1)
            {
                interp[id_var] = -1;
                return cherche(fConj,id_var,interp,sz);
            }
            else if(interp[id_var] == -1)
            {
                interp[id_var] = 0;
                id_var--;
                return cherche(fConj,id_var,interp,sz);
            }
        }
    }

    // Si on fini toutes les interp et qu'on arrive à la dernière possibilité, on retourne faux
    else if(id_var == 0 && interp[0] == -1)
    {
        return false;
    }

    else if(interp[id_var] == 1)
    {
        interp[id_var] = -1;
        id_var++;
        return cherche(fConj,id_var,interp,sz);
    }
    else if(interp[id_var] == -1)
    {
        interp[id_var] = 0;
        id_var--;
        return cherche(fConj,id_var,interp,sz);
    }
    else if(interp[id_var] == 0)
    {
        interp[id_var] = 1;
        id_var++;
        return cherche(fConj,id_var,interp,sz);
    }

    cout<<"AUCUNE CONDITION"<<endl;


}