J'ai pas dit que c'était pas marrant (mon « malheureusement » est un peu mal venu). Ce que je disais en ./32, c'était juste que la partie intéressante de l'étude du problème était de montrer A1...An -> f(A1)...f(An), mais ensuite on arrive en terrain connu, donc là par contre c'est plus très marrant.

C'est pour ça que j'aurais reformulé le post de arnsy (./27) en : « C'est vrai c'est joli, partir d'une règle d'aussi naturel (rapidement énoncée) et imprévisible pour aboutir à un truc artificiel et prévisible comme une grammaire »