clôture transitive