On donne trois nouveaux types. Il faut créer un nouveau type basé sur eux, qui satisfait la condition (contient tous les champs des types donnés, type union). Quelle approche utiliser?