encodage BDD