début de SMT : union find codé