Le parseur JRST actuel permettant de transformer le RST en XML étant incomplet, une nouvelle solution plus efficace a été trouvée pour faciliter la maintenance : utiliser les scripts de DocUtils pour ...