Réduction de l'empreinte générique source :

• Empreinte effective :

  suppression des types non représentés dans l'instance source

• Empreinte simplifiée :

  suppression des constructeurs choix et des listes unaires

• Compatibilités :

  liste de choix <=> agrégat