Bien sûr je me répète un peu par rapport à mes précédents posts, mais pas complètement, je crois. Peut-être aurai-je d’autres réactions plus en relation avec le thème de votre article. Avec l’intérêt majeur à mon sens d’une représentation linéaire applatie de l’arborescence des formules. Une représentation « sténographique » bien plus lisible que la représentation graphique bi-dimensionnelle habituellement utilisée. Pour peu qu’on ait pris l’habitude d’oublier les parenthèses... Ce qui demande un certain temps. De ce point de vue, le langage Python qui tente de remplacer les accolades définissant les blocs par des tabultions rigides ne me paraît pas être dans la bonne voie.