algorithme de Kruskal