unification des types cls (un peu sale mais pas trop)