BDD AVEC INSERTION