réduction d’un graphe