Attention : l'ordre est important, pour les effets de bords

     qu'il induit. Par exemple, '\' doit etre remplace tout de suite

     en backslah, vu qu'ensuite d'autres '\' sont introduits !

     C'est la fin du tableau qui est remplace en premier.

-->

[

]>

<mapping>

<map key="\textbackslash"   text="\textbackslash{}"/>

<map key=" "           text="~"/>

<map key="“"          text="{}``"/>

<map key="”"          text="{}''"/>

<map key="<"             text="$<$"/>

<map key=">"             text="$>$"/>

<map key="˜"          text="\textasciitilde{}"/>

<map key="{"                text="\{"/>

<map key="}"                text="\}"/>

<map key="&"            text="\&"/>

<map key="#"                text="\#"/>

<map key="_"                text="\_"/>

<map key="$"                text="\$"/>

<map key="%"                text="\%"/>

<map key="^"                text="\^"/>

<map key="\"                text="\textbackslash"/>

</mapping>