Les collections topologiques permettent de considérer uniformément de nombreuses structures de données dans un langage de programmation et sont manipulées par des fonctions définies par filtrage qu’on appelle transformations. Des travaux ont déjà montré que les collections topologiques et les transformations s’intègrent bien dans les langages fortement typés. Les collections et les transformations trouvent un champ d’application important en simulation où un langage au typage moins restrictif est plus proche des besoins des utilisateurs. Dans de telles simulations, les collections manipulées sont souvent hétérogènes, ce qui signifie qu’elles contiennent des valeurs de types différents. Dans cet article, nous intégrons les collections topologiques hétérogènes et les transformations dans un système de types fondé sur une relation de sous-typage ensembliste. Celui-ci combine de l’inférence de types à la compilation et des tests de type à l’exécution.