Manipulations de fonctions booléennes basées sur les graphes de décision binaires — Henri Fraïssé