Sally (./16) :
Et donc j'ai défini un mini-langage formel

Et qui a abouti à l'implémentation de la Z-machine pour TI ?
(Sinon, je connais quelqu'un qui écrit une thèse sur le passage de la flûte traversière renaissance (à 6 trous, en une seule partie et cylindrique) à la flûte de Hotteterre (7 trous, une clé, deux à trois parties, cylindro-conique), mais je doute que ça vous intéresse .