Ajout de fermeture transitive