graphe d’implication