Continuatiion de la synchro entr les notations de st.mli et parser.mly