bdd + modif graph