Prise en compte des types avec dépendances (2)