Implémentation fonctionnelle de Kruskal