Proposition d'une nouvelle union, qui contient tout les types. Plus de warning et la multiplication fonctionne