Structure BDD, a compléter