Oui, c'est fort intéressant en effet. Ok pour la phase 1. Par contre, pour la 2, je pige que dalle :

      Operande Stack
      Operator Stack

      Assert OpcRef == OpRef or Opcrec == OpRef-1

      Add Operande (op): Op[OpRef++] = op
      Add Operator (opc):
            While OpcRef>=1 && Priority(opc) <= Priority(Opc[OpcRef])
	       code = Opc[--OpcRef]
	       op   = code( Op[--OpRef], Op[--OpRef])
	       OpRef[OpRef++] = op
	    3 Prio: +,-  *,/   ^

      Finish:
            While OpcRef>=1
               func = Opc[--OpcRef]
               op   = func( Op[--OpRef], Op[--OpRef])
               OpRef[OpRef++] = op
	    ASSERT (OpRef == 1)

J'aurais besoin d'un truc clair, comme pour la première phrase, et j'ai de l'algo C-like. Bref, je pige rien à cette partie, dommage car c'est elle qui traite visiblement des opérateurs, priorités etc...
Quelqu'un me traduira ?