Codes de catégorie (catcodes)
Que sont les catcodes ?
Quels sont les différents catcodes disponibles ?
Source:
https://www-sop.inria.fr/marelle/tralics/doc-symbols.html