Implémentation de BDDTag