Avancement de SMT. Implementation d une association bijective polymorphe