Arbre de preuve sous forme graphique