En effet, c'était bien avant la histoire du kremvax!chernenko ! (petit résumé : le premier Avril 1984, un chercheur hollondais a crée un billet soi-disant de l'URSS ; car il y avait qu'un ou deux liens trans-atlantique à l'époque, les en-têtes du message étaient alors parfaitement adaptés, ce qu'a fait qqs inquietudes côte Etats-Unis …)

bien que j'aime l'idéal d'un Internet légèrement plus raffiné que populaire, « l’âge d’or d’Internet, entre 1995 et 2005 » s'approche « nos ancêtres les Gaulois » ; pour certains, l'Internet qu'ils avaient aimé était enterré déjà en 1993 par le Septembre éternel. Faudrait-il que nous (en forgeant sans fin) forgions toujours l'avenir que nous aimerions ? « Ce que tu as hérité de tes ancêtres, / Acquiers-le, afin de le posséder »

si la métaprogrammation serait une solution acceptable, même dans le cas du point 6 Python pourrait être utile. Avec le namedtuple c'est facile d'écrire les petits compilateurs en Python (voire langages dédiés, grace à « magic methods ») ; pas besoin du Coq ou d'un langage genre ML pour le faire.