Je ne vois pas de retour de variable dans son code, ni de chaîne exec. Je vois pas contre une double decrementation du pointeur de pile, qui pose à coup sur problème