Codes de catégorie (catcodes)

Source: https://www-sop.inria.fr/marelle/tralics/doc-symbols.html