mineur d’un graphe