graphe de démonstration