connectivité d'un graphe