Que pouvons-nous faire au sujet de la diversité inutile de notation pour les définitions syntaxiques ? | Synapse