Arbre de probabilité évaluable