graphe d'implication