201 UMLV Type « dictionnaire » sous-ensembles finis de E (ordonné) avec les opérations : Ens_vide : Ens Ajouter : Ens x Elément Ens Enlever.