Bdd : first step