Avec l'essor du Web, la quantité de code écrit dans des langages dynamiques tels que JavaScript a considérablement augmenté ces dernières années. Afin d'augmenter la sûreté de tels programmes, on aimerait pouvoir les typer statiquement. En particulier, on aimerait pouvoir typer avec précision des expressions utilisant des typecases, i.e. des branchements conditionnés par le résultat d'un test de type (à l'exécution) d'une variable ou expression. Ma thèse consiste en la conception d'un tel système de type, utilisant la puissance des types ensemblistes au service de techniques de typage avancées telles que l'occurrence typing.