xstring 1,5b (14mar09)

git-svn-id: svn://tug.org/texlive/trunk@12389 c570f23f-e606-0410-a88d-b1316a301751

10 files changed, 243 insertions, 149 deletions

diff --git a/Master/texmf-dist/doc/generic/xstring/README b/Master/texmf-dist/doc/generic/xstring/README
index 87a793b8459..c3ead99e955 100644
--- a/Master/texmf-dist/doc/generic/xstring/README
+++ b/Master/texmf-dist/doc/generic/xstring/README
@@ -1,15 +1,10 @@
                               _________________
 
                                xstring package
-                                    v 1.5a
-                                 2008/02/09
+                                    v 1.5b
+                                 2009/03/13
                               _________________
 
-------------------------------------------------------------------------------
-                                    Warning!
-    This package does not require LaTeX (although eTeX is still required).
-  Consequently, the xstring.tex file should be installed in the tex/ subtree.
-------------------------------------------------------------------------------
 This package provides macros manipulating strings for programming use.
 A "string" is made of TeX code, i.e. chars (catcodes 10, 11 and 12), controls
 sequences, groups between braces, tokens with other catcodes, excepted catcodes
@@ -54,12 +49,6 @@ This bundle contains 11 files:
 ##############################################################################
 ##############################################################################
 
-------------------------------------------------------------------------------
-                                    Attention !
-Cette extension ne nécessite pas LaTeX (bien que eTeX soit toujours requis).
-Par conséquent, le fichier xstring.tex devrait être installé dans le sous
-répertoire tex/.
-------------------------------------------------------------------------------
 Cette extension regroupe un ensemble de macros manipulant des chaînes à des
 fins de programmation.
 Une "chaîne" est du code TeX, c'est-à-dire des caractères (catcodes 10, 11
diff --git a/Master/texmf-dist/doc/generic/xstring/test_etex.pdf b/Master/texmf-dist/doc/generic/xstring/test_etex.pdf
index a307c0ef37a..59ca0b66e9b 100644
--- a/Master/texmf-dist/doc/generic/xstring/test_etex.pdf
+++ b/Master/texmf-dist/doc/generic/xstring/test_etex.pdf
diff --git a/Master/texmf-dist/doc/generic/xstring/test_latex.pdf b/Master/texmf-dist/doc/generic/xstring/test_latex.pdf
index 0f92ee2c5cf..a2cf8a1f6b2 100644
--- a/Master/texmf-dist/doc/generic/xstring/test_latex.pdf
+++ b/Master/texmf-dist/doc/generic/xstring/test_latex.pdf
diff --git a/Master/texmf-dist/doc/generic/xstring/xstring_doc_en.pdf b/Master/texmf-dist/doc/generic/xstring/xstring_doc_en.pdf
index e10b94afdd5..c46cd6a2084 100644
--- a/Master/texmf-dist/doc/generic/xstring/xstring_doc_en.pdf
+++ b/Master/texmf-dist/doc/generic/xstring/xstring_doc_en.pdf
diff --git a/Master/texmf-dist/doc/generic/xstring/xstring_doc_en.tex b/Master/texmf-dist/doc/generic/xstring/xstring_doc_en.tex
index c0c292dadd8..f304d37a87f 100644
--- a/Master/texmf-dist/doc/generic/xstring/xstring_doc_en.tex
+++ b/Master/texmf-dist/doc/generic/xstring/xstring_doc_en.tex
@@ -17,9 +17,9 @@
 \documentclass[a4paper,10pt]{article}
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
-\usepackage[dvips,colorlinks=true,hyperfootnotes=false,citecolor=black,filecolor=black,linkcolor=blue,urlcolor=blue,bookmarks=false,pdfauthor={Christian Tellechea},pdftitle={xstring},pdfsubject={package for strings of tokens},pdfkeywords={xstring,latex,string},pdfcreator={LaTeX}]{hyperref}
+\usepackage[dvips,colorlinks=true,hyperfootnotes=false,citecolor=black,filecolor=black,linkcolor=blue,urlcolor=magenta,bookmarks=false,pdfauthor={Christian Tellechea},pdftitle={xstring},pdfsubject={package for strings of tokens},pdfkeywords={xstring,latex,string},pdfcreator={LaTeX}]{hyperref}
 \usepackage[a4paper,dvips,margin=1.9cm]{geometry}
-\usepackage{amsmath,amssymb,amsfonts,textcomp}
+\usepackage{amsmath,amssymb,amsfonts}
 \usepackage{color}
 \usepackage{lmodern}
 \usepackage{eurosym}
@@ -171,7 +171,9 @@
 This manual is a translation of the french manual. I apologize for my poor english but I did my best\footnote{Any email to tell me errors would be appreciated!}, and I hope that the following is comprehensible!
 \section{Presentation}
 \subsection{Description}
-This extension\footnote{This extension does not require \LaTeX{} and can be compiled with Plain $\varepsilon$-\TeX{}.} provides macros and tests operating on strings of tokens, i.e. \TeX{} code, as other programmation languages have. They provides the usual strings operations, such as: test if a string contains another, begins or ends with another, extractions of strings, calculation of the position of a substring, of the number of occurrences, etc.\medskip
+This extension\footnote{This extension does not require \LaTeX{} and can be compiled with Plain $\varepsilon$-\TeX{}.} provides macros and tests operating on "strings of tokens", as other programmation languages have. They provides the usual strings operations, such as: test if a string contains another, begins or ends with another, extractions of strings, calculation of the position of a substring, of the number of occurrences, etc.\medskip
+
+A "string of tokens" is a list of tokens of any nature, except that braces must be balanced and tokens catcode 6 and 14 (usualy \verb|%| et \verb|#|) are not allowed. Apart from this, any token is allowed, in any order in the list, whatever be the resulting code.\medskip
 
 \Xstring reads the arguments of the macros \US by \US\footnote{In the \TeX{} code, a \US is a control sequence, a group between brace or a single char. See also page~\pageref{developpementarguments}.} : when \USs are \guill{simple} chars (catcode 10, 11 and 12), \Xstring logically read the argument char by char. \Xstring can also be used for programming purpose, including in arguments other tokens such as control sequences, braces and tokens with other catcodes. See chapter on reading mode and arguments expansion (page~\pageref{developpementarguments}), the command \verbinline|\verbtocs| (page~\pageref{verbtocs}) and the command \verbinline|\scancs| (page~\pageref{scancs}).\medskip
 
@@ -197,7 +199,7 @@ In the following chapters, all the macros will be presented this plan:
 
 \textbf{Important}: in the following, a \argu{number} can be an integer written with numeric chars, a counter, or the result of an arithmetic operation made with the command \verbinline|\numexpr|.\smallskip
 
-In the following, macros of \Xstring are displayed in {\makeatletter\color{@xs@keywordsxstring}red}.
+All the macros of \Xstring are displayed in {\makeatletter\color{@xs@keywordsxstring}red}.
 
 \subsection{The tests}
 \subsubsection{\ttfamily\textbackslash IfSubStr}
@@ -1148,7 +1150,7 @@ The command \verbinline|\fullexpandarg| is called by default, so all the argumen
 
 Of course, the expansion of argument can be canceled to find back the usual behaviour of \TeX{} with the comands \verbinline|\noexpandarg| or \verbinline|\normalexpandarg|.\medskip
 
-Another expansion mode can be called with \verbinline|\expandarg|. In this case, the \textbf{first token} of each argument is expanded \emph{one time} while all other tokens are left unchanged (if you want the expansion of all tokens one time, you should call the macro \verbinline|\scancs*|, see page~\pageref{scancs}).\medskip
+Another expansion mode can be called with \verbinline|\expandarg|. In this case, the \textbf{first token} of each argument is expanded \emph{one time} while all other tokens are left unchanged (if you want the expansion of all tokens one time, you should call the macro \verbinline|\StrExpand|, see page~\pageref{scancs}).\medskip
 
 The commands \verbinline|\fullexpandarg|, \verbinline|\noexpandarg|, \verbinline|\normalexpandarg| and \verbinline|\expandarg| can be called at any moment in the code; they behave as "switches" and they can be locally used in a group.\medskip
 
@@ -1196,10 +1198,10 @@ In the following list, for every macro of the previous chapter, the arguments co
 \end{itemize}
 \parindent0pt
 
-\subsubsection{Chars allowed in arguments}
-First of all, whatever be the current expansion mode, \textbf{tokens with catcode 6 and 14 (usually {\ttfamily\#} and {\ttfamily\%}) are forbidden in all the arguments}\footnote{Maybe, the token {\ttfamily\#} will be allowed in a further version.}.\bigskip
+\subsubsection{Chars and tokens allowed in arguments}
+First of all, whatever be the current expansion mode, \textbf{tokens with catcode 6 and 14 (usually {\ttfamily\#} and {\ttfamily\%}) are forbidden in all the arguments}\footnote{Maybe, the token {\ttfamily\#} will be allowed in a future version.}.\bigskip
 
-When full expansion mode is activated with \verbinline|\fullexpandarg|, arguments are expanded with an \verbinline|\edef| before they are read by the macro. Consequently, are allowed in arguments :
+When full expansion mode is activated with \verbinline|\fullexpandarg|, arguments are expanded with an \verbinline|\edef| before they are read by the macro. Consequently, are allowed in arguments:
 \parindent3em
 \begin{itemize}
 	\item letters (uppercase or lowercase, accented\footnote{For a reliable operation with accented letters, the \texttt{\string\fontenc} package with option \texttt{[T1]} and \texttt{\string\inputenc} with appropriated option must be loaded} or not), figures, spaces, and any other character with a catcode of 10, 11 ou 12 (punctuation signs, calculation signs, parenthesis, square bracket, etc).;
@@ -1209,15 +1211,24 @@ When full expansion mode is activated with \verbinline|\fullexpandarg|, argument
 \end{itemize}\parindent0pt
 \smallskip
 
-On the other hand, some chars\footnote{These chars are obtained with the keys \textsf{AtlGr}${}+{}$letter under GNU/Linux distributions.} like \officialeuro, \textcurrency, ¶, etc. will provoke errors.\medskip
+When arguments are not expanded with the use of \verbinline|\noexpandarg|, other tokens can be put in a string whatever be the code they make: any control sequence, even undefined, any token catcode 13. Moreover, test tokens are allowed like \verbinline|\if| or \verbinline|\ifx|, even without their \verbinline|\fi|. On the same way, a \verbinline|\csname| without its \verbinline|\endcsname| is allowed.
 
-When expansion is not full (\verbinline|\expandarg| or \verbinline|\noexpandarg| are active), allowed char in arguments are:\parindent3em
-\begin{itemize}
-	\item those cited above;
-	\item any control sequence or token catocode 13, even undefined;
-	\item the special chars (\officialeuro, \textcurrency, ¶, etc.).
-\end{itemize}
-\parindent0pt
+In this example, the argument contains a \verbinline|\ifx| \emph{without} the \verbinline|\fi|: the \verbinline|\StrBetween| command extracts and dislpays what is between \verbinline|\ifx| and \verbinline|\else|:\par\medskip\nobreak
+
+\begin{minipage}[c]{0.65\linewidth}
+\begin{lstlisting}
+\noexpandarg
+\StrBetween{\ifx ab false \else true}{\ifx}{\else}
+\end{lstlisting}%
+\end{minipage}\hfill
+\begin{minipage}[c]{0.35\linewidth}
+	\styleexercice
+	\noexpandarg
+	\StrBetween{\ifx ab false \else true}{\ifx}{\else}
+\end{minipage}
+\medskip
+
+When \verbinline|\expandarg| is used, the first token needs precaution since it is expanded one time: it must be defined. The other tokens are left unchanged like with \verbinline|\noexpandarg|.
 
 \subsection{Expansion of macros, optional argument}
 \label{argumentoptionnel}
diff --git a/Master/texmf-dist/doc/generic/xstring/xstring_doc_fr.pdf b/Master/texmf-dist/doc/generic/xstring/xstring_doc_fr.pdf
index a65c484396f..ee9af4c7354 100644
--- a/Master/texmf-dist/doc/generic/xstring/xstring_doc_fr.pdf
+++ b/Master/texmf-dist/doc/generic/xstring/xstring_doc_fr.pdf
diff --git a/Master/texmf-dist/doc/generic/xstring/xstring_doc_fr.tex b/Master/texmf-dist/doc/generic/xstring/xstring_doc_fr.tex
index b36d6ea957f..ea172df563a 100644
--- a/Master/texmf-dist/doc/generic/xstring/xstring_doc_fr.tex
+++ b/Master/texmf-dist/doc/generic/xstring/xstring_doc_fr.tex
@@ -18,9 +18,9 @@
 \documentclass[a4paper,10pt]{article}
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
-\usepackage[a4paper,dvips,colorlinks=true,hyperfootnotes=false,citecolor=black,filecolor=black,linkcolor=blue,urlcolor=blue,bookmarks=false,pdfauthor={Christian TELLECHEA},pdftitle={xstring},pdfsubject={package pour la manipulation de chaines de tokens},pdfkeywords={xstring,latex,tex,string,chaine},pdfcreator={LaTeX}]{hyperref}
+\usepackage[a4paper,dvips,colorlinks=true,hyperfootnotes=false,citecolor=black,filecolor=black,linkcolor=blue,urlcolor=magenta,bookmarks=false,pdfauthor={Christian TELLECHEA},pdftitle={xstring},pdfsubject={package pour la manipulation de chaines de tokens},pdfkeywords={xstring,latex,tex,string,chaine},pdfcreator={LaTeX}]{hyperref}
 \usepackage[a4paper,dvips,margin=1.9cm]{geometry}
-\usepackage{amsmath,amssymb,amsfonts,textcomp}
+\usepackage{amsmath,amssymb,amsfonts}
 \usepackage{color}
 \usepackage{lmodern}
 \usepackage{eurosym}
@@ -183,11 +183,13 @@
 \subsection{Description}
 Cette extension\footnote{L'extension ne nécessite pas \LaTeX{} et peut être compilée sous Plain $\varepsilon$-\TeX{}.} regroupe des macros et des tests opérant sur des chaînes de tokens, un peu comme en disposent des langages dit \guill{évolués}. On y trouve les opérations habituelles sur les chaînes, comme par exemple : test si une chaîne en contient une autre, commence ou finit par une autre, test si une chaîne est un nombre entier ou décimal, extractions de sous-chaînes, calculs de position d'une sous-chaîne, calculs du nombre d'occurrences, etc.\medskip
 
+On appelle \guill{chaîne de tokens} une suite de tokens quelconques, sachant qu'aucune supposition n'a été faite quant à leur nature, mis à part que dans les chaînes de tokens, les accolades doivent être équilibrées et que les tokens de catcode 6 et 14 (habituellement \verb|%| et \verb|#|) n'y sont pas admis. Tous les autres tokens sont \emph{à priori} permis dans n'importe quel ordre, quelque soit le code qu'ils représentent.\medskip
+
 Les arguments contenant des chaînes de tokens sont lus par \Xstring \emph{\US par \US\footnote{Sauf cas particulier, une \US est un caractère lu dans le code à ces exceptions près : une séquence de contrôle est une \US, un groupe entre accolades est aussi une \US. Voir également page~\pageref{developpementarguments}.}}, ce qui revient à les lire caractère par caractère lorsque ceux-ci contiennent des tokens \guill{normaux}, c'est-à-dire dont les catcodes sont 10, 11 et 12. On peut également utiliser \Xstring à des fins de programmation en utilisant des arguments contenant des séquences de contrôle et des tokens dont les catcodes sont moins inoffensifs. Voir le chapitre sur le mode de lecture et de développement des arguments (page~\pageref{developpementarguments}), la commande \verbinline|\verbtocs| (page~\pageref{verbtocs}), la commande \verbinline|\scancs| (page~\pageref{scancs}).\medskip
 
 Certes d'autres packages manipulant les chaînes de caractères existent (par exemple \href{http://www.ctan.org/tex-archive/macros/latex/contrib/substr/}{\nolinkurl{substr}} et \href{http://www.ctan.org/tex-archive/macros/latex/contrib/stringstrings/}{\nolinkurl{stringstrings}}), mais outre des différences notables quant aux fonctionnalités, ils ne prennent pas en charge les occurrences des sous-chaînes et me semblent soit trop limités, soit trop difficiles à utiliser pour la programmation.\medskip
 
-Comme les macros manipulent des chaînes de tokens, il peut arriver aux utilisateurs avancés de rencontrer des problèmes de \guill{catcodes\footnote{Codes de catégories, en français.}} conduisant à des comportement inattendus. Ces effets indésirables peuvent être contrôlés. Consulter en particulier le chapitre sur les catcodes des arguments page~\pageref{macrosetoilees}.
+Comme les macros manipulent des chaînes de tokens, il peut arriver aux utilisateurs avancés de rencontrer des problèmes de \guill{catcodes\footnote{Codes de catégories, en français.}} conduisant à des comportements inattendus. Ces effets indésirables peuvent être contrôlés. Consulter en particulier le chapitre sur les catcodes des arguments page~\pageref{macrosetoilees}.
 
 \subsection{Motivation}
 J'ai été conduit à écrire ce type de macros car je n'ai jamais vraiment trouvé de d'outils sous \LaTeX{} adaptés à mes besoins concernant le traitement de chaînes. Alors, au fil des mois, et avec l'aide de contributeurs\footnote{Je remercie chaleureusement Manuel alias \guill{\nolinkurl{mpg}} pour son aide précieuse, sa compétence et sa disponibilité.} de \nolinkurl{fr.comp.text.tex}, j'ai écrit quelques macros qui me servaient ponctuellement ou régulièrement. Leur nombre s'étant accru, et celles-ci devenant un peu trop dispersées dans les répertoires de mon ordinateur, je les ai regroupées dans ce package.
@@ -1131,7 +1133,7 @@ Exemples en tolérance stricte :\par\nobreak
 \label{devarg}
 \lstset{basicstyle=\footnotesize\ttfamily}
 \subsubsection{Les macros {\ttfamily \textbackslash fullexpandarg}, {\ttfamily \textbackslash expandarg} et {\ttfamily \textbackslash noexpandarg}}
-La macro \verbinline|\fullexpandarg| est appelée par défaut, ce qui fait que certains arguments transmis aux macros sont développés le plus possible (pour cela, un \verb|\edef| est utilisé). Ce mode de développement maximal permet dans la plupart des cas d'éviter d'utiliser des chaînes d'\verb|\expandafter|. Le code en est souvent allégé.
+La macro \verbinline|\fullexpandarg| est appelée par défaut, ce qui fait que certains arguments (en \textcolor{violet}{violet} dans la liste ci dessous) transmis aux macros sont développés le plus possible (pour cela, un \verb|\edef| est utilisé). Ce mode de développement maximal permet dans la plupart des cas d'éviter d'utiliser des chaînes d'\verb|\expandafter|. Le code en est souvent allégé.
 
 On peut interdire le développement de ces arguments (et ainsi revenir au comportement normal de \TeX) en invoquant \verbinline|\noexpandarg| ou \verbinline|\normalexpandarg| qui sont synonymes.\medskip
 
@@ -1184,7 +1186,7 @@ Dans la liste ci-dessous, on peut voir en \textcolor{violet}{violet} quels argum
 \end{itemize}
 \parindent0pt
 
-\subsubsection{Caractères autorisés dans les arguments}
+\subsubsection{Caractères et lexèmes autorisés dans les arguments}
 Tout d'abord, quelque soit le mode de développement choisi, \textbf{les tokens de catcode 6 et 14 (habituellement {\ttfamily\#} et {\ttfamily\%}) sont interdits dans tous les arguments}\footnote{Le token {\ttfamily\#} sera peut-être autorisé dans une future version !}.\bigskip
 
 Lorsque le mode \verbinline|\fullexpandarg| est activé, les arguments sont évalués à l'aide de la primitive \verb|\edef| avant d'être transmis aux macros. Par conséquent, sont autorisés dans les arguments :
@@ -1194,15 +1196,29 @@ Lorsque le mode \verbinline|\fullexpandarg| est activé, les arguments sont éva
 	\item les lettres, majuscules, minuscules, accentuées\footnote{Pour pouvoir utiliser des lettres accentuées de façon fiable, il est nécessaire de charger le packages \texttt{\string\fontenc} avec l'option \texttt{[T1]}, ainsi que \texttt{\string\inputenc} avec l'option correspondant au codage du fichier tex.} ou non, les chiffres, les espaces\footnote{Selon la règle \TeX{}iènne, plusieurs espaces consécutifs n'en font qu'un.} ainsi que tout autre token de catcode 10, 11 ou 12 (signes de ponctuation, signes opératoires mathématiques, parenthèses, crochets, etc);
 	\item les tokens de catcode 1 à 4, qui sont habituellement : \og\verb|{|\fg\quad\og\verb|}|\fg\footnote{Attention : les accolades \textbf{doivent} être équilibrées dans les arguments !}\quad\og\verb|$|\fg\quad\og\verb|&|\fg
 	\item les tokens de catcode 7 et 8, qui sont habituellement : \og\verb|^|\fg\quad\og\verb|_|\fg
-	\item toute séquence de contrôle si elle est purement développable\footnote{C'est-à-dire qu'elle peut être mise à l'intérieur d'un {\ttfamily\string\edef}.} et dont le développement maximal donne des caractères autorisés;
+	\item toute séquence de contrôle si elle est purement développable\footnote{C'est-à-dire qu'elle peut être mise à l'intérieur d'un {\ttfamily\string\edef }.} et dont le développement maximal donne des caractères autorisés;
 	\item un token de catcode 13 (caractère actif) s'il est purement développable.
 \end{itemize}
 \parindent0pt\smallskip
 
-En revanche, sous UTF8, certains caractères\footnote{Ces caractères s'obtiennent avec la touche \textsf{AtlGr}${}+{}$lettre sous les distributions GNU/Linux.} comme \officialeuro, \textcurrency, ¶, etc. généreront des erreurs.
-\bigskip
+Lorsque les arguments ne sont plus développés (utilisation de \verbinline|\noexpandarg|), on peut aussi inclure dans les arguments n'importe quel token, quelque soit le code qui en résulte comme par exemple toute séquence de contrôle, même non définie ou tout token de catcode 13. On peut également inclure dans les arguments des tokens de test comme \verbinline|\if| ou \verbinline|\ifx| ou tout autre token de test, même sans leur \verbinline|\fi| correspondant; ou bien un \verbinline|\csname| sans le \verbinline|\endcsname| correspondant.
+
+Dans l'exemple suivant, l'argument contient un \verbinline|\ifx| \emph{sans} le \verbinline|\fi|, et l'on isole ce qui est entre le \verbinline|\ifx| et le \verbinline|\else| :\par\medskip\nobreak
+
+\begin{minipage}[c]{0.65\linewidth}
+\begin{lstlisting}
+\noexpandarg
+\StrBetween{\ifx ab faux \else vrai}{\ifx}{\else}
+\end{lstlisting}%
+\end{minipage}\hfill
+\begin{minipage}[c]{0.35\linewidth}
+	\styleexercice
+	\noexpandarg
+	\StrBetween{\ifx ab faux \else vrai}{\ifx}{\else}
+\end{minipage}
+\medskip
 
-Lorsque les arguments ne sont plus développés au maximum avec \verbinline|\expandarg| ou \verbinline|\noexpandarg|, les caractères autorisés sont ceux cités ci-dessus auxquels il faut rajouter toute séquence de contrôle, même non définie, ainsi que les caractères précédemment cités (\officialeuro, \textcurrency, ¶, etc.).
+Lorsqu'on utilise \verbinline|\expandarg|, la précaution concerne le premier token qui est développé une fois et doit donc être défini. Les autres tokens sont laissés tel quels comme avec \verbinline|\noexpandarg|.
 
 \subsection{Développement des macros, argument optionnel}
 \label{argumentoptionnel}
@@ -1599,8 +1615,7 @@ r\'esultat : \resultat
 \end{minipage}\hfill
 \begin{minipage}[c]{0.35\linewidth}
 	\styleexercice
-	\verbtocs{\text}
-	  |\textbf{a} $\frac{1}{2}$|
+	\verbtocs{\text}|\textbf{a} $\frac{1}{2}$|
 	texte : \text
 	\tokenize{\resultat}{\text}	\par
 	r\'esultat : \resultat
diff --git a/Master/texmf-dist/tex/generic/xstring/xstring.tex b/Master/texmf-dist/tex/generic/xstring/xstring.tex
index 48320845680..af1b9ce4322 100644
--- a/Master/texmf-dist/tex/generic/xstring/xstring.tex
+++ b/Master/texmf-dist/tex/generic/xstring/xstring.tex
@@ -3,7 +3,7 @@
 % |                                                  |
 % |                  xstring v1.5a                   |
 % |                                                  |
-% |                 February 9 2009                  |
+% |                  March 13 2009                   |
 % |                                                  |
 % |__________________________________________________|
 %
@@ -35,19 +35,21 @@
 %
 % The Current Maintainer of this work is Christian Tellechea
 % -------------------------------------------------------------------
-\def\xstringversion     {1.5a}
-\def\xstringdate        {2009/02/09}
-\def\xstringfrenchdate  {9 f\'evrier 2009}
-\def\xstringenglishdate {February $9^{\mathrm{th}}$ 2009}
+\def\xstringversion     {1.5b}
+\def\xstringdate        {2009/03/13}
+\def\xstringfrenchdate  {13 mars 2009}
+\def\xstringenglishdate {March $13^{\mathrm{th}}$ 2009}
 \edef\CurrentAtCatcode  {\the\catcode`\@}
 \catcode`\@=11
 \newwrite\@xs@message% canal pour les messages
 \newcount\integerpart\newcount\decimalpart% compteurs utilis\'es par xstring
+\newif\if@xs@empty
 
 \expandafter\ifx\csname @latexerr\endcsname\relax% on n'utilise pas LaTeX ?
 	\immediate\write\m@ne{Package: xstring \xstringdate\space\space v\xstringversion\space\space String manipulations (C Tellechea)}%
 	\long\def\@firstoftwo#1#2{#1}
 	\long\def\@secondoftwo#1#2{#2}
+	\long\def\@gobble#1{}
 	\long\def\@ifnextchar#1#2#3{%
 		\let\reserved@d=#1%
 		\def\reserved@a{#2}%
@@ -71,6 +73,9 @@
 	\def\@empty{}
 \fi% fin des d\'efinitions LaTeX
 
+\def\@xs@testempty#1{%
+	\expandafter\ifx\expandafter\@empty\detokenize{#1}\@empty\@xs@emptytrue\else\@xs@emptyfalse\fi}
+
 % Ouvre un groupe o\`u les catcodes sont \`a 12 et \`a 10 pour les espaces
 % ensuite, appelle \@xs@ReadVerb qui lit un argument entre d\'elimiteurs verb
 \def\@xs@MakeVerb{% lit 1 argument et le transforme en verb
@@ -82,7 +87,8 @@
 
 % D\'efinit \@xs@ReadVerb qui lit un argument entre d\'elimiteurs verb
 \def\setverbdelim#1{% d\'efinit quel est le d\'elimiteur de verb
-	\expandafter\ifx\expandafter\@empty\detokenize\expandafter{\@xs@gobblefirstchar#1}\@empty
+	\expandafter\@xs@testempty\expandafter{\@gobble#1}%
+	\if@xs@empty
 	\else
 		\begingroup
 			\newlinechar`\^^J%
@@ -117,10 +123,12 @@
 % Macro tr\`es simple qui assigne ou affiche le r\'esultat, selon la pr\'esence
 % ou non de #2 qui est l'argument optionnel venant en derni\`ere position des macros
 \def\@xs@ReturnResult#1#2{%
-	\expandafter\ifx\expandafter\@empty\detokenize{#2}\@empty
-		#1%
+	\def\@xs@argument@A{#1}%
+	\@xs@testempty{#2}%
+	\if@xs@empty
+		\@xs@argument@A
 	\else
-		\def#2{#1}%
+		\let#2\@xs@argument@A
 	\fi}
 
 % Pas d'expansion des arguments
@@ -142,42 +150,61 @@
 \def\saveexpandmode{\let\@xs@saved@def\@xs@defarg\let\@xs@saved@expand\@xs@expand}
 \def\restoreexpandmode{\let\@xs@defarg\@xs@saved@def\let\@xs@expand\@xs@saved@expand}
 
+% Macro interne renvoyant #2 si son argument commence par une accolade ouvrante "{"
+% et #3 sinon (Ulrich Diez sur comp.text.tex)
+\def\@xs@ifbeginwithbrace#1{%
+	\csname @%
+		\expandafter\@gobble\string{% ne sert à rien si ce n'est \'equilibrer les accolades dans la d\'efinition
+		\expandafter\@gobble\expandafter{\expandafter{\string#1}%
+		\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\@firstoftwo
+		\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\expandafter\@gobble
+		\expandafter\expandafter\expandafter\@gobble
+		\expandafter\expandafter\expandafter{\expandafter\string\expandafter}\string}%
+		\expandafter\@gobble\string}%
+		\@secondoftwo{first}{second}oftwo%
+	\endcsname}
+
 % Cette macro interne prend la 1ere unit\'e syntaxique de #1 et assigne le r\'esultat \`a #2
 \def\@xs@returnfirstsyntaxunit#1#2{%
-	\def\@xs@returnfirstsyntaxunit@i##1##2\@xs@nil{%
+	\def\@xs@groupfound{\expandafter\def\expandafter#2\expandafter{\expandafter{#2}}\@xs@gobbleall}% on met #2 dans des accolades et on finit
+	\def\@xs@assignfirsttok##1##2\@xs@nil{\let\@xs@toks0\def#2{##1}}%
+	\def\@xs@testfirsttok{%
+		\let\@xs@next\@xs@assignfirsttok
 		\ifx\@xs@toks\bgroup
-			\begingroup
-				\escapechar48\relax% 0 est le caract\`ere d'\'echappement
-				\expandafter\expandafter\expandafter\ifx\expandafter\@xs@returnfirstsyntaxunit@ii\detokenize{#1}\@xs@nil0%
-					\def\@xs@reserved@A{\def#2{##1}\let\@xs@toks0}% si commence par 0, ##1 est un «\bgroup»
-				\else
-					\def\@xs@reserved@A{\def#2{{##1}}}% si ne commence pas par 0, ##1 est un groupe {...}
-				\fi
-			\expandafter\endgroup
-			\@xs@reserved@A
-		\else
-			\def#2{##1}%
-		\fi}%
-	\let\@xs@toks0\relax
-	\expandafter\ifx\expandafter\@empty\@xs@beforespace#1 \@xs@nil\@empty
-		\ifx\@empty#1\@empty\let#2\@empty\else\def#2{ }\fi
+			\expandafter\@xs@ifbeginwithbrace\expandafter{\@xs@argument}{\def\@xs@next{\afterassignment\@xs@groupfound\def#2}}{}%
+		\fi
+		\@xs@next}%
+	\def\@xs@argument{#1}%
+	\expandafter\@xs@testempty\expandafter{\@xs@beforespace#1 \@xs@nil}%
+	\if@xs@empty
+		\def\@xs@next{\expandafter\ifx\expandafter\@empty\detokenize\expandafter{\@xs@argument}\@empty\let#2\@empty\else\def#2{ }\fi}%
 	\else
-		\futurelet\@xs@toks\@xs@returnfirstsyntaxunit@i#1\@xs@nil
-	\fi}
+		\def\@xs@next{\expandafter\futurelet\expandafter\@xs@toks\expandafter\@xs@testfirsttok\@xs@argument\@xs@nil}%
+	\fi
+	\@xs@next}
 
 % Cette macro interne enl\`eve la 1ere unit\'e syntaxique de #1 et assigne le r\'esultat \`a #2
 \def\@xs@removefirstsyntaxunit#1#2{%
-	\expandafter\ifx\expandafter\@empty\@xs@beforespace#1 \@xs@nil\@empty
-		\ifx\@empty#1\@empty\def#2{}\else\expandafter\def\expandafter#2\expandafter{\@xs@behindspace#1\@xs@nil}\fi
+	\expandafter\@xs@testempty\expandafter{\@xs@beforespace#1 \@xs@nil}%
+	\def\@xs@argument{#1}%
+	\if@xs@empty
+		\expandafter\@xs@testempty\expandafter{\@xs@argument}%
+		\if@xs@empty
+			\let#2\@empty
+		\else
+			\expandafter\expandafter\expandafter\def\expandafter\expandafter\expandafter#2%
+			\expandafter\expandafter\expandafter{\expandafter\@xs@behindspace\@xs@argument\@xs@nil}%
+		\fi
 	\else
-		\expandafter\def\expandafter#2\expandafter{\@xs@gobblefirstchar#1}%
+		\expandafter\expandafter\expandafter\def\expandafter\expandafter\expandafter#2%
+		\expandafter\expandafter\expandafter{\expandafter\@gobble\@xs@argument}%
 	\fi}
 
 % Macros \`a arguments d\'elimit\'es pour les macros ci dessus
 \def\@xs@beforespace#1 #2\@xs@nil{#1}
 \def\@xs@behindspace#1 #2\@xs@nil{#2}
-\def\@xs@gobblefirstchar#1{}
 \def\@xs@returnfirstsyntaxunit@ii#1#2\@xs@nil{#1}
+\def\@xs@gobbleall#1\@xs@nil{}
 
 % Cette macro interne est utilis\'ee dans les macros \'etoil\'ees pour :
 % 1) d\'evelopper l'argument selon qu'on a choisit \fullexpandarg
@@ -191,37 +218,40 @@
 
 \def\@xs@expand@and@assign#1#2{\@xs@def#1{#2}}% on d\'eveloppe #2 selon \fullexpandarg ou \normalexpandarg
 
-\def\@xs@expand@and@addtomacro#1#2{\edef#1{\unexpanded\expandafter{#1}#2}}
+\def\@xs@edefaddtomacro#1#2{\edef#1{\unexpanded\expandafter{#1}#2}}
+\def\@xs@addtomacro#1#2{\expandafter\def\expandafter#1\expandafter{#1#2}}
+
 \def\@xs@argstring{0########1########2########3########4########5########6########7########8########9}
-% \@xs@DefArg{3} met dans la sc \@xs@myarg le texte "####1####2####3"
+% \@xs@DefArg{3} met dans la sc \@xs@myarg les tokens "####1####2####3"
 \def\@xs@DefArg#1{\def\@xs@defarg0##1#1##2\@xs@nil{\def\@xs@myarg{##1#1}}\expandafter\@xs@defarg\@xs@argstring\@xs@nil}
-% \@xs@DefArg@{3} met dans la sc \@xs@myarg le texte "[####1]####2####3####4"
+% \@xs@DefArg@{3} met dans la sc \@xs@myarg les tokens "[####1]####2####3####4"
 \def\@xs@DefArg@#1{\expandafter\@xs@defarg@\expandafter{\number\numexpr#1+1}}
 \def\@xs@defarg@#1{\def\@xs@defarg0##11##2#1##3\@xs@nil{\def\@xs@myarg{[##11]##2#1}}\expandafter\@xs@defarg\@xs@argstring\@xs@nil}
-% \@xs@OneArg{3} met dans la sc \@xs@myarg le texte "####3"
+% \@xs@OneArg{3} met dans la sc \@xs@myarg les tokens "####3"
 \def\@xs@OneArg#1{\expandafter\@xs@onearg\expandafter{\number\numexpr#1-1}{#1}}
 \def\@xs@onearg#1#2{\def\@xs@defarg##1#1##2#2##3\@xs@nil{\def\@xs@myarg{##2#2}}\expandafter\@xs@defarg\@xs@argstring\@xs@nil}
 
 % #1 : num\'ero du 1er argument; #2 : nombre de lignes; #3 argument optionnel; #4 : dernier num\'ero de l'argument devant être d\'etokenis\'e si \'etoile
 \def\@xs@BuildLines#1#2#3#4{%
-	\def\@xs@newlines{}%
-	\def\@xs@newargs{}%
+	\let\@xs@newlines\@empty
+	\let\@xs@newargs\@empty
 	\def\@xs@buildlines##1{%
 		\expandafter\@xs@OneArg\expandafter{\number\numexpr##1+#1-1}%
-		\def\@xs@reserved@B{\noexpand\@xs@expand\csname @xs@arg@\romannumeral\numexpr##1\endcsname}%
+		\edef\@xs@reserved@B{\noexpand\@xs@expand\csname @xs@arg@\romannumeral\numexpr##1\endcsname}%
 		\ifnum##1=\@ne% si c'est le premier argument
-			\ifx\@empty#3\@empty
-				\@xs@expand@and@addtomacro\@xs@newargs{{\@xs@reserved@B}}%
+			\@xs@testempty{#3}%
+			\if@xs@empty
+				\expandafter\@xs@addtomacro\expandafter\@xs@newargs\expandafter{\expandafter{\@xs@reserved@B}}%
 				\edef\@xs@reserved@B{\ifnum##1>#4 @xs@def\else @xs@assign\fi}%
 			\else% et s'il y a un argument optionnel alors, on met des crochets
-				\@xs@expand@and@addtomacro\@xs@newargs{[\@xs@reserved@B]}%
+				\expandafter\@xs@addtomacro\expandafter\@xs@newargs\expandafter{\expandafter[\@xs@reserved@B]}%
 				\def\@xs@reserved@B{@xs@def}% ne pas d\'etok\'eniser l'argument optionnel grace au \@xs@def
 			\fi
 		\else
-			\@xs@expand@and@addtomacro\@xs@newargs{{\@xs@reserved@B}}%
+			\expandafter\@xs@addtomacro\expandafter\@xs@newargs\expandafter{\expandafter{\@xs@reserved@B}}%
 			\edef\@xs@reserved@B{\ifnum##1>#4 @xs@def\else @xs@assign\fi}%
 		\fi
-		\@xs@expand@and@addtomacro\@xs@newlines{\csname\@xs@reserved@B\endcsname\csname @xs@arg@\romannumeral\numexpr##1\endcsname{\@xs@myarg}}%
+		\edef\@xs@newlines{\unexpanded\expandafter{\@xs@newlines}\expandafter\noexpand\csname\@xs@reserved@B\endcsname\expandafter\noexpand\csname @xs@arg@\romannumeral\numexpr##1\endcsname{\@xs@myarg}}%
 		\ifnum##1<#2\relax
 			\def\@xs@next{\expandafter\@xs@buildlines\expandafter{\number\numexpr##1+1}}%
 			\expandafter\@xs@next
@@ -229,14 +259,14 @@
 	\@xs@buildlines\@ne}
 
 \def\@xs@newmacro{\@ifstar{\let\@xs@reserved@D\@empty\@xs@newmacro@}{\let\@xs@reserved@D\relax\@xs@newmacro@0}}
-% #1 : dernier num\'ero de l'argument devant être d\'etokenis\'e si \'etoile
+% #1 : dernier num\'ero de l'argument devant être d\'etokenis\'e
 % #2 : nom de la macro publique
 % #3 : argument optionnel (vide si pas d'arg optionnel)
 % #4 : nombre d'arguments obligatoires
 % #5 : utilisation de testopt (1 si oui, 0 si non)
 % #6 : code de la macro
 \def\@xs@newmacro@#1#2#3#4#5{%
-	\edef\@xs@reserved@A{@xs@\expandafter\@xs@gobblefirstchar\string#2}%
+	\edef\@xs@reserved@A{@xs@\expandafter\@gobble\string#2}%
 	\edef\@xs@reserved@C{\expandafter\noexpand\csname\@xs@reserved@A @\ifx\@empty#3\@empty @\fi\endcsname}%
 	\edef\@xs@reserved@B{%
 		\ifx\@empty\@xs@reserved@D
@@ -266,9 +296,9 @@
 	\edef\@xs@reserved@B{\def\expandafter\noexpand\csname\@xs@reserved@A @@\endcsname\@xs@myarg}%
 	\edef\@xs@reserved@C{\unexpanded\expandafter{\@xs@newlines}\edef\noexpand\@xs@call}%
 	\edef\@xs@reserved@D{\noexpand\noexpand\expandafter\noexpand\csname\@xs@reserved@A\endcsname\unexpanded\expandafter{\@xs@newargs}}%
-	\ifnum#5=\@ne\edef\@xs@reserved@D{\noexpand\noexpand\noexpand\@testopt{\unexpanded\expandafter{\@xs@reserved@D}}\unexpanded{{}}}\fi
-	\@xs@expand@and@addtomacro\@xs@reserved@C{{\unexpanded\expandafter{\@xs@reserved@D}}\noexpand\@xs@call}%
-	\@xs@expand@and@addtomacro\@xs@reserved@B{{\unexpanded\expandafter{\@xs@reserved@C}}}%
+	\ifnum#5=\@ne\edef\@xs@reserved@D{\noexpand\noexpand\noexpand\@testopt{\unexpanded\expandafter{\@xs@reserved@D}}{}}\fi
+	\@xs@edefaddtomacro\@xs@reserved@C{{\unexpanded\expandafter{\@xs@reserved@D}}\noexpand\@xs@call}%
+	\@xs@edefaddtomacro\@xs@reserved@B{{\unexpanded\expandafter{\@xs@reserved@C}}}%
 	% Que fait \@xs@reserved@B ? Il d\'efinit par exemple pour 3 arguments obligatoires et 1 facultatif :
 	%    \def\@xs@NOM@@[##2]##3##4##5{%
 	%          \@xs@def\@xs@arg@i{##2}\@xs@assign\@xs@arg@ii{##3}\@xs@assign\@xs@arg@iii{##4}\@xs@asign\@xs@arg@iv{##5}%
@@ -287,7 +317,8 @@
 % \@xs@atbegingroup      (un groupe vient d'être ouvert)
 % \@xs@atnextsyntaxunit  (la future US n'est pas un groupe)
 \def\@xs@read@reserved@C{%
-	\ifx\@xs@reserved@C\@empty
+	\expandafter\@xs@testempty\expandafter{\@xs@reserved@C}%
+	\if@xs@empty
 		\ifnum\@xs@nestlevel=\z@
 			\let\@xs@next\relax
 		\else
@@ -318,7 +349,8 @@
 % \@xs@atendofgroup      (un groupe se finit, appel r\'ecursif)
 % \@xs@atoccurfound      (une occurrence a \'et\'e trouv\'ee)
 \def\@xs@read@reserved@D{%
-	\ifx\@xs@reserved@D\@empty
+	\expandafter\@xs@testempty\expandafter{\@xs@reserved@D}%
+	\if@xs@empty
 		\ifnum\@xs@nestlevel=\z@
 			\let\@xs@next\relax
 		\else
@@ -353,18 +385,21 @@
 	\let\@xs@nestlevel\z@
 	\@xs@StrRemoveBraces@i
 	\expandafter\@xs@ReturnResult\expandafter{\@xs@reserved@B}{#2}}
+
 \def\@xs@StrRemoveBraces@i{%
-	\let\@xs@next\@xs@StrRemoveBraces@i
-	\ifx\@xs@reserved@C\@empty
+	\expandafter\@xs@testempty\expandafter{\@xs@reserved@C}%
+	\if@xs@empty
 		\ifnum\@xs@nestlevel=\z@
 			\let\@xs@next\relax
 		\else
 			\expandafter\endgroup
 			\expandafter\@xs@addtomacro\expandafter\@xs@reserved@B\expandafter{\@xs@reserved@B}%
+			\let\@xs@next\@xs@StrRemoveBraces@i
 		\fi
 	\else
 		\expandafter\@xs@returnfirstsyntaxunit\expandafter{\@xs@reserved@C}\@xs@reserved@A
 		\expandafter\@xs@removefirstsyntaxunit\expandafter{\@xs@reserved@C}\@xs@reserved@C
+		\let\@xs@next\@xs@StrRemoveBraces@i
 		\ifx\bgroup\@xs@toks
 			\ifx\@xs@exploregroups\relax% on explore les groupes ?
 				\begingroup
@@ -405,40 +440,51 @@
 			\let\@xs@next\@xs@read@reserved@D
 		\fi}%
 	\@xs@read@reserved@D
+	\def\@xs@argument@A{#2}%
 	\ifnum\decimalpart=#3% occurrence trouv\'ee ?
 		\let\@xs@reserved@E\@xs@reserved@D
-		\expandafter\def\expandafter\@xs@reserved@D\expandafter{\@xs@reserved@C#2}%
+		\expandafter\expandafter\expandafter\def\expandafter\expandafter\expandafter\@xs@reserved@D\expandafter\expandafter\expandafter{\expandafter\@xs@reserved@C\@xs@argument@A}%
 	\else
 		\let\@xs@reserved@C\@empty\let\@xs@reserved@E\@empty\let\groupID\@empty
 	\fi}
 
 \@xs@newmacro*3\IfSubStr{1}{2}{0}{%
-	\@xs@cutafteroccur{#2}{#3}{#1}%
-	\ifx\@xs@reserved@D\@empty
+	\def\@xs@argument@A{#2}\def\@xs@argument@B{#3}%
+	\expandafter\expandafter\expandafter\@xs@cutafteroccur
+	\expandafter\expandafter\expandafter{\expandafter\@xs@argument@A\expandafter}\expandafter{\@xs@argument@B}{#1}%
+	\expandafter\@xs@testempty\expandafter{\@xs@reserved@D}%
+	\if@xs@empty
 		\expandafter\@secondoftwo
 	\else
 		\expandafter\@firstoftwo
 	\fi}
 
 \@xs@newmacro*2\IfBeginWith{}{2}{0}{%
-	\ifx\@empty#2\@empty
+	\def\@xs@argument@A{#1}\def\@xs@argument@B{#2}%
+	\expandafter\@xs@testempty\expandafter{\@xs@argument@B}%
+	\if@xs@empty
 		\let\@xs@next\@secondoftwo
 	\else
-		\def\@xs@next{\@xs@IfBeginWith@i{#1}{#2}}%
+		\def\@xs@next{\expandafter\expandafter\expandafter\@xs@IfBeginWith@i
+			\expandafter\expandafter\expandafter{\expandafter\@xs@argument@A\expandafter}\expandafter{\@xs@argument@B}}%
 	\fi
 	\@xs@next}
+
 \def\@xs@IfBeginWith@i#1#2{%
-	\ifx\@empty#2\@empty% #2 est vide, tous les tests sont pass\'es avec succ\`es : on renvoie #3
+	\def\@xs@argument@A{#1}\def\@xs@argument@B{#2}%
+	\expandafter\@xs@testempty\expandafter{\@xs@argument@B}%
+	\if@xs@empty% #2 est vide, tous les tests sont pass\'es avec succ\`es : on renvoie #3
 		\let\@xs@next\@firstoftwo
 	\else
-		\ifx\@empty#1\@empty
+		\expandafter\@xs@testempty\expandafter{\@xs@argument@A}%\@xs@testempty{#1}%
+		\if@xs@empty
 			\let\@xs@next\@secondoftwo% #1 est vide, c'est que #2 est + long que #1 : on renvoie #4
 		\else
-			\@xs@returnfirstsyntaxunit{#1}\@xs@reserved@A
-			\@xs@returnfirstsyntaxunit{#2}\@xs@reserved@B
+			\expandafter\@xs@returnfirstsyntaxunit\expandafter{\@xs@argument@A}\@xs@reserved@A
+			\expandafter\@xs@returnfirstsyntaxunit\expandafter{\@xs@argument@B}\@xs@reserved@B
 			\ifx\@xs@reserved@A\@xs@reserved@B% il y a \'egalit\'e...
-				\@xs@removefirstsyntaxunit{#1}\@xs@reserved@A% on enl\`eve les 1ere unit\'es syntaxiques
-				\@xs@removefirstsyntaxunit{#2}\@xs@reserved@B
+				\expandafter\@xs@removefirstsyntaxunit\expandafter{\@xs@argument@A}\@xs@reserved@A% on enl\`eve les 1ere unit\'es syntaxiques
+				\expandafter\@xs@removefirstsyntaxunit\expandafter{\@xs@argument@B}\@xs@reserved@B
 				\def\@xs@next{% et on recommence avec ces arguments racourcis d'1 unit\'e syntaxique
 					\expandafter\expandafter\expandafter\@xs@IfBeginWith@i
 					\expandafter\expandafter\expandafter{\expandafter\@xs@reserved@A\expandafter}\expandafter{\@xs@reserved@B}}%
@@ -447,17 +493,22 @@
 			\fi
 		\fi
 	\fi
-	\@xs@next}
+ 	\@xs@next}
 
 \@xs@newmacro*2\IfEndWith{}{2}{0}{%
-	\ifx\@empty#2\@empty
+	\def\@xs@argument@A{#1}\def\@xs@argument@B{#2}%
+	\@xs@testempty{#2}%
+	\if@xs@empty
 		\let\@xs@reserved@A\@secondoftwo
 	\else
-		\@xs@StrCount{#1}{#2}[\@xs@reserved@A]%
+		\expandafter\expandafter\expandafter\@xs@StrCount
+			\expandafter\expandafter\expandafter{\expandafter\@xs@argument@A\expandafter}\expandafter
+			{\@xs@argument@B}[\@xs@reserved@A]%
 		\ifnum\@xs@reserved@A=\z@
 			\let\@xs@reserved@A\@secondoftwo
 		\else
-			\ifx\@xs@reserved@C\@empty
+			\expandafter\@xs@testempty\expandafter{\@xs@reserved@C}%
+			\if@xs@empty
 				\let\@xs@reserved@A\@firstoftwo
 			\else
 				\let\@xs@reserved@A\@secondoftwo
@@ -468,11 +519,20 @@
 
 \@xs@newmacro*4\IfSubStrBefore{1,1}{3}{0}{\@xs@IfSubStrBefore@i[#1]{#2}{#3}{#4}}
 \def\@xs@IfSubStrBefore@i[#1,#2]#3#4#5{%
-	\ifx\@xs@exploregroups\relax\let\@xs@reserved@C\@empty\def\@xs@reserved@A{#3}\@xs@StrRemoveBraces@i\else\def\@xs@reserved@C{#3}\fi
-	\expandafter\@xs@cutafteroccur\expandafter{\@xs@reserved@C}{#5}{#2}%
-	\expandafter\@xs@cutafteroccur\expandafter{\@xs@reserved@C}{#4}{#1}%
+	\def\@xs@reserved@C{#3}%
+	\ifx\@xs@exploregroups\relax% si on explore les groupes
+		\let\@xs@reserved@B\@empty
+		\let\@xs@nestlevel\z@
+		\@xs@StrRemoveBraces@i% on retire les accolades
+		\let\@xs@reserved@C\@xs@reserved@B
+	\fi
+	\def\@xs@reserved@A{#5}%
+	\expandafter\expandafter\expandafter\@xs@cutafteroccur\expandafter\expandafter\expandafter{\expandafter\@xs@reserved@C\expandafter}\expandafter{\@xs@reserved@A}{#2}%
+	\def\@xs@reserved@A{#4}%
+	\expandafter\expandafter\expandafter\@xs@cutafteroccur\expandafter\expandafter\expandafter{\expandafter\@xs@reserved@C\expandafter}\expandafter{\@xs@reserved@A}{#1}%
 	\let\groupID\@empty
-	\ifx\@xs@reserved@C\@empty
+	\expandafter\@xs@testempty\expandafter{\@xs@reserved@C}%
+	\if@xs@empty
 		\expandafter\@secondoftwo
 	\else
 		\expandafter\@firstoftwo
@@ -482,14 +542,17 @@
 \def\@xs@IfSubStrBehind@i[#1,#2]#3#4#5{\@xs@IfSubStrBefore@i[#2,#1]{#3}{#5}{#4}}
 
 \def\@xs@formatnumber#1#2{%
-	\ifx\@empty#1\@empty
+	\def\@xs@argument@A{#1}%
+	\@xs@testempty{#1}%
+	\if@xs@empty
 		\def#2{0X}% si vide, renvoie 0X
 	\else
 		\@xs@returnfirstsyntaxunit{#1}\@xs@reserved@A
 		\def\@xs@reserved@B{+}%
 		\ifx\@xs@reserved@A\@xs@reserved@B
-			\@xs@removefirstsyntaxunit{#1}\@xs@reserved@C
-			\ifx\@empty\@xs@reserved@C
+			\expandafter\@xs@removefirstsyntaxunit\expandafter{\@xs@argument@A}\@xs@reserved@C
+			\expandafter\@xs@testempty\expandafter{\@xs@reserved@C}%
+			\if@xs@empty
 			 	\def#2{+0X}%
 			 \else
 			 	\expandafter\def\expandafter#2\expandafter{\expandafter+\expandafter0\@xs@reserved@C}%
@@ -497,14 +560,15 @@
 		\else
 			\def\@xs@reserved@B{-}%
 			\ifx\@xs@reserved@A\@xs@reserved@B
-				\@xs@removefirstsyntaxunit{#1}\@xs@reserved@A
-				\ifx\@empty\@xs@reserved@A
+				\expandafter\@xs@removefirstsyntaxunit\expandafter{\@xs@argument@A}\@xs@reserved@A
+				\expandafter\@xs@testempty\expandafter{\@xs@reserved@A}%
+				\if@xs@empty
 				 	\def#2{-0X}%
 				 \else
 				 	\expandafter\def\expandafter#2\expandafter{\expandafter-\expandafter0\@xs@reserved@A}%
 				 \fi
 			\else
-				\def#2{0#1}%
+				\expandafter\def\expandafter#2\expandafter{\expandafter0\@xs@argument@A}%
 			\fi
 		\fi
 	\fi}
@@ -555,13 +619,14 @@
 	\ifx\@xs@reserved@A\@xs@reserved@B
 		\let\@xs@reserved@A\@firstoftwo% \'egalit\'e parfaite des 2 chaines
 	\else
-		\@xs@reserved@D{#1}{#2}%
+		\expandafter\expandafter\expandafter\@xs@reserved@D\expandafter\expandafter\expandafter{\expandafter\@xs@reserved@A\expandafter}\expandafter{\@xs@reserved@B}%
 	\fi
 	\@xs@reserved@A}
 
 \@xs@newmacro*2\IfStrEq{}{2}{0}{% teste si les deux chaines sont \'egales
 	\let\@xs@reserved@D\@xs@IfStrEqFalse@i
 	\@xs@TestEqual{#1}{#2}}
+
 \@xs@newmacro*2\IfEq{}{2}{0}{% teste si les 2 arguments (chaine ou nombre) sont \'egaux
 	\let\@xs@reserved@D\@xs@IfStrEqFalse@ii
 	\@xs@TestEqual{#1}{#2}}
@@ -576,7 +641,8 @@
 	\def\@xs@testcase##1##2##3\@xs@nil{% lit les 2 premieres unit\'es syntaxiques dans ##1 et ##2. Les autres dans ##3
 		\@xs@reserved@E{#1}{##1}%
 			{##2}% le test est positif, on ex\'ecute le code correspondant
-			{\ifx\@empty##3\@empty% le test est n\'egatif
+			{\@xs@testempty{##3}%
+			 \if@xs@empty% le test est n\'egatif
 			 	\def\@xs@next{#3}% s'il n'y a plus de cas, on ex\'ecute le code <autres cas>
 			 \else
 			 	\def\@xs@next{\@xs@testcase##3\@xs@nil}% sinon, on recommence avec ce qui reste
@@ -607,8 +673,6 @@
 	\expandafter\@xs@ReturnResult\expandafter{\@xs@reserved@E}{#6}%
 	\let\groupID\@empty}
 
-\def\@xs@addtomacro#1#2{\expandafter\def\expandafter#1\expandafter{#1#2}}
-
 \def\exploregroups{\let\@xs@exploregroups\relax}
 \def\noexploregroups{\def\@xs@exploregroups{\let\@xs@toks0\relax}}
 \def\saveexploremode{\let\@xs@saveexploremode\@xs@exploregroups}
@@ -618,6 +682,7 @@
 % par la chaine #4 dans la chaine #2
 \@xs@newmacro\StrSubstitute{0}{3}{1}{%
 	\def\@xs@reserved@D{#2}\let\@xs@reserved@C\@empty\def\@xs@reserved@E{#3}%
+	\def\@xs@argument@C{#3}\def\@xs@argument@D{#4}%
 	\decimalpart\z@\integerpart\z@\def\groupID{0}\let\@xs@nestlevel\z@
 	\def\@xs@atendofgroup{%
 		\expandafter\endgroup
@@ -625,18 +690,19 @@
 		\@xs@read@reserved@D}%
 	\def\@xs@atoccurfound{%
 		\ifnum#1<\@ne
-			\def\@xs@reserved@A{#4}%
+			\let\@xs@reserved@A\@xs@argument@D
 		\else
 			\ifnum\decimalpart>#1
-				\def\@xs@reserved@A{#3}%
+				\let\@xs@reserved@A\@xs@argument@C
 			\else
-				\def\@xs@reserved@A{#4}%
+				\let\@xs@reserved@A\@xs@argument@D
 			\fi
 		\fi
 		\expandafter\@xs@addtomacro\expandafter\@xs@reserved@C\expandafter{\@xs@reserved@A}%
 		\@xs@read@reserved@D}%
-	\ifx\@empty#3\@empty
-		\@xs@ReturnResult{#2}{#5}%
+	\@xs@testempty{#3}%
+	\if@xs@empty
+		\expandafter\@xs@ReturnResult\expandafter{\@xs@reserved@D}{#5}%
 	\else
 		\@xs@read@reserved@D
 		\expandafter\@xs@ReturnResult\expandafter{\@xs@reserved@C}{#5}%
@@ -661,7 +727,8 @@
 
 % Macro interne fermant autant de groupes que n\'ecessaire pour trouver une unit\'e syntaxique derri\`ere
 \def\@xs@continuetonext{%
-	\ifx\@xs@reserved@C\@empty
+	\expandafter\@xs@testempty\expandafter{\@xs@reserved@C}%
+	\if@xs@empty
 		\ifnum\@xs@nestlevel>\z@
 			\expandafter\endgroup\expandafter\@xs@addtomacro\expandafter\@xs@reserved@B\expandafter{\expandafter{\@xs@reserved@B}}% on concat\`ene
 			\expandafter\expandafter\expandafter\@xs@continuetonext% on recommence
@@ -746,9 +813,9 @@
 
 \@xs@newmacro\StrChar{}{2}{1}{%
 	\let\@xs@reserved@B\@empty
+	\def\@xs@reserved@C{#1}\def\@xs@reserved@D{#2}%
 	\ifnum#2>\z@
-		\def\@xs@reserved@C{#1}\def\@xs@reserved@D{#2}\decimalpart\z@
-		\def\groupID{0}\let\@xs@nestlevel\z@\integerpart\z@
+		\def\groupID{0}\let\@xs@nestlevel\z@\integerpart\z@\decimalpart\z@
 		\let\@xs@atbegingroup\relax
 		\def\@xs@atendofgroup{\endgroup\@xs@read@reserved@C}%
 		\def\@xs@atnextsyntaxunit{%
@@ -760,15 +827,17 @@
 			\fi}%
 		\@xs@read@reserved@C
 	\fi
-	\ifx\@xs@reserved@B\@empty\let\groupID\@empty\fi
+	\expandafter\@xs@testempty\expandafter{\@xs@reserved@B}%
+	\if@xs@empty\let\groupID\@empty\fi
 	\expandafter\@xs@ReturnResult\expandafter{\@xs@reserved@B}{#3}}
 
 % Combien de fois compte t-on #2 dans #1 ?
 \@xs@newmacro\StrCount{}{2}{1}{%
-	\ifx\@empty#2\@empty
+	\@xs@testempty{#2}%
+	\def\@xs@reserved@D{#1}\def\@xs@reserved@E{#2}\let\@xs@reserved@C\@empty
+	\if@xs@empty
 		\@xs@ReturnResult{0}{#3}%
 	\else
-		\def\@xs@reserved@D{#1}\def\@xs@reserved@E{#2}\let\@xs@reserved@C\@empty
 		\decimalpart\z@\integerpart\z@\def\groupID{0}\let\@xs@nestlevel\z@
 		\def\@xs@atendofgroup{%
 			\expandafter\endgroup
@@ -811,14 +880,25 @@
 
 \def\@xs@StrCompare@i#1#2#3{%
 	\def\@xs@StrCompare@iii##1{%
+		\let\@xs@reserved@A\@empty
+		\expandafter\@xs@testempty\expandafter{\@xs@reserved@C}%
+		\if@xs@empty
+			\def\@xs@reserved@A{*\@xs@comparecoeff}%
+		\else
+			\expandafter\@xs@testempty\expandafter{\@xs@reserved@D}%
+			\if@xs@empty
+				\def\@xs@reserved@A{*\@xs@comparecoeff}%
+			\fi
+		\fi
 		\def\@xs@next{%
 			\expandafter\@xs@ReturnResult\expandafter
-			{\number\numexpr##1\ifx\@empty\@xs@reserved@C*\@xs@comparecoeff\else\ifx\@empty\@xs@reserved@D*\@xs@comparecoeff\fi\fi\relax}{#3}}}%
+			{\number\numexpr##1\@xs@reserved@A\relax}{#3}}}%
 	\def\@xs@StrCompare@ii##1{% ##1 est la position
 		\expandafter\@xs@returnfirstsyntaxunit\expandafter{\@xs@reserved@C}\@xs@reserved@A
 		\expandafter\@xs@returnfirstsyntaxunit\expandafter{\@xs@reserved@D}\@xs@reserved@B
 		\ifx\@xs@reserved@B\@xs@reserved@A
-			\ifx\@xs@reserved@A\@empty
+			\expandafter\@xs@testempty\expandafter{\@xs@reserved@A}%
+			\if@xs@empty
 				\@xs@StrCompare@iii{##1}% les 2 unit\'es syntaxiques sont \'egales, on renvoie la position
 			\else
 				\def\@xs@next{\expandafter\@xs@StrCompare@ii\expandafter{\number\numexpr##1+1}}% les 2 unit\'es syntaxiques sont \'egales et non vides, on recommence
@@ -842,7 +922,8 @@
 	\@xs@next}
 \def\@xs@StrFindGroup@i#1#2[#3]{%
 	\def\@xs@StrFindGroup@ii{%
-		\ifx\@xs@reserved@C\@empty
+		\expandafter\@xs@testempty\expandafter{\@xs@reserved@C}%
+		\if@xs@empty
 			\def\@xs@next{\@xs@ReturnResult{}{#3}}% s'il ne reste plus rien, on renvoie vide
 		\else
 			\expandafter\@xs@returnfirstsyntaxunit\expandafter{\@xs@reserved@C}\@xs@reserved@D
@@ -985,7 +1066,7 @@
 %  - Correction d'un bug : \expandafter#1
 %    dans les macros \IfSubStrBefore et \StrBetween qui buggue si #1 est un
 %    nombre > 9 !
-%  - R\'e \'ecriture de \@xs@returnfirstsyntaxunit et \@xs@gobblefirstchar qui
+%  - R\'e \'ecriture de \@xs@returnfirstsyntaxunit et \@gobble qui
 %    deviennent purement d\'eveloppables.
 %  - R\'e \'ecriture de \StrLen
 %  - Nouvelle macro interne \@xs@cutafteroccur
@@ -1044,4 +1125,10 @@
 %    donc silencieux ;)
 %  - Passage de 3 \'a 2 compteurs
 %  - Le manuel est d\'esormais plus color\'e, en esp\'erant qu'il sera un peu
-%    plus agr\'eable \`a lire !
\ No newline at end of file
+%    plus agr\'eable \`a lire !
+%------------------------------------------------------------------------------
+% v1.5a  13/3/2009
+%  - Modification d'un grand nombre de macros de telle sorte que vraiment
+%    n'importe quel code peut d\'esormais \^etre plac\'e dans les arguments des
+%    macros (comme par exemple des \if, \ifx ou autre, m\^eme sans leur \fi, ce
+%    qui n'\'etait pas possible jusqu'alors)
\ No newline at end of file
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index f2477536d5b..8f935caca2d 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -257,6 +257,7 @@ chdir $startdir || die "chdir($startdir) failed: $!";  # back to raw
  'kurier',	"&MAKEcopy",
  'kuvio',	"die 'skipping, nonfree license'",
  'l2a',		"die 'skipping, another old detex, requires compilation'",
+ 'latex2pdf',	"die 'skipping, too bare-bones'",
  'latex-veryshortguide', "die 'skipping, nosell license'",
  'latexmp',	"&MAKEflatten",
  'lcircuit',	"die 'skipping, license unknown, too old to investigate'",
@@ -511,6 +512,7 @@ chdir $startdir || die "chdir($startdir) failed: $!";  # back to raw
  'xmltex',	"&MAKExmltex",
  'xor',         "die 'will be in xpackages when ready (Morten says)'",
  'xparse',      "die 'already in xpackages'",
+ 'xstring',	"&MAKEcopy",
  'xtheorem',    "die 'will be in xpackages when ready (Morten says)'",
  'xymtex',	"&MAKExymtex",
  'xypic',	"&MAKExypic",
@@ -551,7 +553,6 @@ chdir $startdir || die "chdir($startdir) failed: $!";  # back to raw
  'xecjk'		=> '&POSTxecjk',
  'xecyr'		=> '&POSTxecyr',
  'xetex-pstricks'	=> '&POSTxetex_pstricks',
- 'xstring'              => '&POSTxstring',
 );
 
 
@@ -3657,14 +3658,6 @@ sub POSTxetex_pstricks
   &SYSTEM ("$MV generic xelatex xetex tex");
 }
 
-sub POSTxstring
-{
-  print "POST$package - xstring.sty under latex\n";
-  &xchdir ($DEST);
-  &xmkdir ("tex/latex/$package");
-  &SYSTEM ("$MV tex/$whichformat/$package/xstring.sty tex/latex/$package/");
-}
-
 
 # Allow overrides.  In particular, CTAN can change some hashes to make
 # packages with licenses that TL doesn't allow.
diff --git a/TODO b/TODO
index d79a0532b1c..657162fad19 100644
--- a/TODO
+++ b/TODO
@@ -20,10 +20,8 @@ Public domain.  TODO:
   - install rework-AddFormat-lines.patch and get rid of texmf/fmtutil.
   - rename 00texlive-installation.config to 00texlive.installation.
 - see tlpkg/etc/2009.*  (should all be in the above patch)
-
 - reenable texlive.infra doc files to docpattern (see comments).
   (should probably be moved to the 2009.combined.patch)
-
 - create collection-langlithuanian for lithuanian + hyphen-lithuanian.
 - change V to 4 in dvipdfm/config (if we don't replace with dvipdfmx).
 - finish removal of texinfo in the runtime.
@@ -35,7 +33,8 @@ Public domain.  TODO:
 - kpsewhich default to "TeX system documentation" for *.pdf, *.html.
 - add epspdf to doc/info/dir (should not be in bin-kpathsea, either).
 - enable binpattern in texloganalyser.tlpsrc
-- add luatex-plain.mem generation.
+- add luatex-plain.mem generation per elie.
+- review comments in context.tlpsrc.
 
 1. Package updates
 ==================