restification bdd