Editeur de nomenclatures

Utilisez cet outil pour gérer les nomenclatures d'ensembles.

Cet éditeur permet d'effectuer les opérations suivantes :