add verif on bdd