Mot : notation atomique
Catégorie : LocN
Définition : Représentation par signes ou formules du groupement des atomes ou de la composition des corps.