travail sur les types compliqués