Dll C_bdd fini (en theorie)