Dans la machine B déclarée à la partie 1, ajouter les opérations suivantes :
multiSet qui prend une liste d’entiers et retourne le multi-ensemble des éléments sous la forme d’une fonction partielle qui à un élément associe le nombre (non-nul) d’occurrences de cet élément dans le multi-ensemble. On pourra utiliser ℕ₁ (NATURAL1) pour indiquer un entier non nul.tri qui prend une liste et la retourne triée.decomp qui prend un entier et retourne un objet mathématique représentant la décomposition en facteurs premiers de cet entier.