# Ce script sed traduit un texte ASCII franc,ais (lettres accentue'es sous
# la forme de 2 caracte`res : la lettre suivie de l'accent) en un texte
# ISO-Latin-1 qui peut ensuite e^tre importe' dans un document Thot

# traitement de "oe" et "OE"
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/^\([Oo][Ee]\)/ \1/g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/oe\([BbCcDdIiKkLlNnSsTtUu]\)/\1/g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/O[eE]\([BbCcDdIiKkLlNnSsTtUu]\)/\1/g

# traitement de "a"
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/a`//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/a"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/a^//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/A`//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/A"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/A^//g

# traitement de "u"
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/u`//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/u"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/u^//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/U`//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/U"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/U^//g

# traitement de "e"
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/e'''/''/g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/e''/e ''/g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/e'//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/e`//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/e"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/e^//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/E'''/''/g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/E''/ ''/g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/E'//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/E`//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/E"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/E^//g

# traitement de "i"
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/i"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/i^//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/I"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/I^//g

# traitement de "o"
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/o"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/o^//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/O"//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/O^//g

# traitement de "c"
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/\c,\([AaOoUu]\)/\1/g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/\C,\([AaOoUu]\)/\1/g

# remplacement des doubles quotes par des guillemets franc,ais
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/`` //g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/``//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/ ''//g
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/''//g

# remplacement du caractere "~" par un blanc dur
/\\begin{verbatim.*}/,/\\end{verbatim.*}/!s/~//g
