new pstricks package vaucanson-g (27oct08)

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

17 files changed, 6293 insertions, 4 deletions

diff --git a/Master/texmf-dist/doc/generic/vaucanson-g/CHANGES b/Master/texmf-dist/doc/generic/vaucanson-g/CHANGES
new file mode 100644
index 00000000000..ae834aa37b8
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/vaucanson-g/CHANGES
@@ -0,0 +1,35 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+Vaucanson-G : Changes
+
+
+Oct 27 2008 :Version 0.4
+          New organisation of files, compliance with every version of pstricks and xcolor.
+
+Jan 28 2008 : Small bug fix in vaucanson-g.sty.
+
+Sep 13 2007 : New wrapper vaucanson-g.sty.
+           The "pstricks1-10" option is no more required; 
+            the wrapper detects whether the patch is needed (Thanks to Akim Demaille).
+
+Jul 24 2006 : Small bug fix.
+
+Jul 06 2006 : Small bug fix.
+
+Jan 25 2006 : Patch for compliance with PSTricks 1-10 or more. 
+               New beamer style (option [beamer]).
+
+Nov 02 2004 : Additional macro to draw "final StateVar".
diff --git a/Master/texmf-dist/doc/generic/vaucanson-g/README b/Master/texmf-dist/doc/generic/vaucanson-g/README
new file mode 100644
index 00000000000..aa666448b65
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/vaucanson-g/README
@@ -0,0 +1,65 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+Vaucanson-G : A LaTeX package for drawing automata and graphs
+
+Vaucanson-G is based on PSTricks and PSTricks does not generate dvi instructions but instead
+directly generate postscript commands. As a result, the drawings composed by Vaucanson-G
+are not correctly visible under a dvi previewer. A very common outcome is an unscaled drawing and
+all the labels are written at the origin.
+
+Vaucanson-G is a package of macros that allow to draw automata and graphs within 
+texts written using LaTeX.
+Nota Bene: The commands for graphs are still under construction
+and are not described yet neither below nor in the manual.
+
+The design of Vaucanson-G implements the following
+underlying philosophy: "simple" automata should be 
+described with simple commands.
+The complexity of commands (or the number of things to be remembered 
+to use them) should gradually grow with the complexity of the figure 
+composed by these commands.
+
+The following example shows how a simple automaton can be drawn 
+with commands, in which only the minimal information needed (position 
+and label of states, shape and label of transitions) is made explicit.
+
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[p]{(0,0)}{A} \State{(3,0)}{B} \State[r]{(6,0)}{C}
+% initial--final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeL{A}{B}{a} \ArcL{B}{C}{b} \ArcL{C}{B}{b}
+\LoopN{A}{a} \LoopS{C}{d}
+%
+\end{VCPicture}
+
+This is achieved by the implicit definition of a large number of 
+parameters that control the geometry of the figure: size of states, 
+width of lines,...
+The way these parameters can be handled and modified yields what is 
+the second feature of Vaucanson-G:
+-- the easy definition of styles for the elements of figures.
+-- the capability of handling the figures both in size and 
+        appearance without modifying them.
+
+Vaucanson-G is a set of macros that uses commands of the PSTricks package,
+due to Timothy van Zandt and that appears in the current version 
+of the LaTeX distribution.
+The knowledge of this beautiful macro package is not necessary to use
+the Vaucanson-G commands.
+
+Last modified: Sep 27 2008
+
diff --git a/Master/texmf-dist/doc/generic/vaucanson-g/VCManual-src/TwoStates.tex b/Master/texmf-dist/doc/generic/vaucanson-g/VCManual-src/TwoStates.tex
new file mode 100644
index 00000000000..cf40f518330
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/vaucanson-g/VCManual-src/TwoStates.tex
@@ -0,0 +1,26 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%% This is file `TwoStates'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `TwoStates' contains a external file of a figure for 
+%%   VCManual-080612
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{VCPicture}{(-1,-1)(4,1)}
+\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}%
+\ArcL{A}{B}{b} \LArcL{B}{A}{a} \LoopE{B}{a}
+\end{VCPicture}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\endinput 
diff --git a/Master/texmf-dist/doc/generic/vaucanson-g/VCManual-src/VCManual.tex b/Master/texmf-dist/doc/generic/vaucanson-g/VCManual-src/VCManual.tex
new file mode 100644
index 00000000000..390be279d85
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/vaucanson-g/VCManual-src/VCManual.tex
@@ -0,0 +1,4426 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%% This is file `VCManual-080612.tex'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `VCManual-080612.tex' is the tex file for VauCanSon-G user's and 
+%%   reference manual. 
+%%  
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\documentclass[11pt,twoside]{article}
+%
+\textheight=220mm  % mieux vaut mettre ces
+\textwidth=150mm   % valeurs en ``parametres''
+%%%%% output control flags 
+\newif\ifdraft  \draftfalse % \drafttrue  %% visualise columns
+\newif\ifital \italfalse % \italtrue %% "italian" printing
+%%%%% package calls
+\usepackage{latexsym,ifthen}
+\usepackage{theorem}
+\usepackage{xspace}        
+\usepackage{amsmath,amsfonts,amscd,amssymb}
+\usepackage{makeidx}
+\usepackage{subfigure}   
+\usepackage{vaucanson-g}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%    layout
+\topmargin=297mm
+\advance \topmargin by -\textheight 
+\divide  \topmargin by 2
+\advance \topmargin by -1in 
+%
+\advance \topmargin by -\headheight
+\advance \topmargin by -\headsep
+%
+\leftmargin=210mm
+\advance \leftmargin by -\textwidth 
+\divide  \leftmargin by 2
+\advance \leftmargin by -1in 
+%
+\oddsidemargin=\leftmargin
+\evensidemargin=\leftmargin 
+%
+\abovedisplayskip=3mm 
+\belowdisplayskip=3mm 
+\abovedisplayshortskip=0mm
+\belowdisplayshortskip=2mm 
+\unitlength=1mm 
+%%%%%
+\addtolength{\parskip}{0.3\baselineskip}
+\renewcommand{\baselinestretch}{1.1} 
+%%%%%%%%%%%%%%%% colonne + figure %%%%%%%%%%%%%%%%%
+\newlength{\ExtendedTextWidth} % largeur du dŽbordement
+%                              % pour les figure qui dŽbordent
+\newlength{\ColoText}% largeur de la colonne "de texte"
+\newlength{\ColoFigu}% largeur de la colonne "de figure"
+\newlength{\fboxseptemp} % pour pouvoir restituerla valeur normale
+\setlength{\fboxseptemp}{\fboxsep}% parce qu'on va coller le cadre
+%                        % pour le draft
+\newlength{\parindenttemp} % pour mettre une indentation 
+%                          % dans les minipages
+\setlength{\parindenttemp}{\parindent}
+%\setlength{\fboxsep}{\fboxseptemp}
+\setlength{\ExtendedTextWidth}{\marginparwidth}    
+% \addtolength{\ExtendedTextWidth}{\marginparsep} % \retraita 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\TextFigu}[3][.66]{%
+% \setlength{\fboxsep}{0pt}% mod 000912
+%      annulŽ seulement en draft
+\setlength{\ColoText}{#1\textwidth}%    
+\setlength{\ColoFigu}{\textwidth}%    
+\addtolength{\ColoFigu}{-\ColoText}%    
+\addtolength{\ColoText}{-.6em}%    
+\addtolength{\ColoFigu}{-.6em}%    
+\noi
+\ifdraft
+\setlength{\fboxsep}{0pt}% mod 000912
+\fbox{%
+\begin{minipage}[t]{\ColoText}
+\setlength{\parindent}{\parindenttemp}%
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        #2
+\end{minipage}}%
+\hspace*{1.2em}% 
+\fbox{%
+\begin{minipage}[t]{\ColoFigu}%
+\par\vspace*{0mm}%
+#3%
+\end{minipage}}
+\else
+\begin{minipage}[t]{\ColoText}
+\setlength{\parindent}{\parindenttemp}%
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        #2
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+#3%
+\end{minipage}%
+\fi%
+\setlength{\fboxsep}{\fboxseptemp}%
+}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Modifications pour le header et le footer 
+\makeatletter 
+\def\ps@jsheadings%
+{\let\@mkboth\@gobbletwo
+\def\@oddhead{\hbox{} {\jsoddheadleft}   \hfil 
+                      {\jsoddheadcenter} \hfil 
+                      {\jsoddheadright}  \hbox{}}%  
+\def\@oddfoot{\hbox{} {\jsoddfootleft}   \hfil 
+                      {\jsoddfootcenter} \hfil 
+                      {\jsoddfootright}  \hbox{}}%
+\def\@evenhead{\hbox{} {\jsevenheadleft}   \hfil 
+                      {\jsevenheadcenter} \hfil 
+                      {\jsevenheadright}  \hbox{}}%
+\def\@evenfoot{\hbox{} {\jsevenfootleft}   \hfil 
+                      {\jsevenfootcenter} \hfil 
+                      {\jsevenfootright}  \hbox{}}%
+}
+\makeatother
+%
+\newcommand{\jsoddheadleft}{\makebox[0pt][l]{\teteimpgauche}}
+\newcommand{\jsoddheadcenter}{\makebox{\teteimpcentre}} 
+\newcommand{\jsoddheadright}{\makebox[0pt][r]{\teteimpdroit}}   
+\newcommand{\jsoddfootleft}{\makebox[0pt][l]{\piedimpgauche}}   
+\newcommand{\jsoddfootcenter}{\makebox{\piedimpcentre}} 
+\newcommand{\jsoddfootright}{\makebox[0pt][r]{\piedimpdroit}}  
+\newcommand{\jsevenheadleft}{\makebox[0pt][l]{\tetepairgauche}}   
+\newcommand{\jsevenheadcenter}{\makebox{\tetepaircentre}} 
+\newcommand{\jsevenheadright}{\makebox[0pt][r]{\tetepairdroit}} 
+\newcommand{\jsevenfootleft}{\makebox[0pt][l]{\piedpairgauche}}   
+\newcommand{\jsevenfootcenter}{\makebox{\piedpaircentre}} 
+\newcommand{\jsevenfootright}{\makebox[0pt][r]{\piedpairdroit}} 
+%
+\newcommand{\teteimpgauche}{}
+\newcommand{\teteimpcentre}{{\footnotesize \textsl{\tetedroit}}} 
+\newcommand{\teteimpdroit}{}   
+\newcommand{\piedimpgauche}{{\scriptsize \piedgauche }}   
+\newcommand{\piedimpcentre}{\rm \thepage} 
+\newcommand{\piedimpdroit}{{\scriptsize \pieddroit }}  
+\newcommand{\tetepairgauche}{}   
+\newcommand{\tetepaircentre}{{\footnotesize \textsl{\tetegauche}}} 
+\newcommand{\tetepairdroit}{} 
+\newcommand{\piedpairgauche}{{\scriptsize \piedgauche }}   
+\newcommand{\piedpaircentre}{\rm \thepage} 
+\newcommand{\piedpairdroit}{{\scriptsize \pieddroit }} 
+%
+\newcommand{\tetegauche}{}   % ATTENTION tete de la page de gauche
+\newcommand{\tetedroit}{}    % ATTENTION tete de la page de droite
+\newcommand{\piedgauche}{}   % ATTENTION gauche du pied de page 
+\newcommand{\pieddroit}{}    % ATTENTION droite du pied de page 
+%
+\pagestyle{jsheadings}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Modifications pour  sections
+\makeatletter
+\def\thesection {\arabic{section}}
+\makeatother
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Modifications pour les figures 
+\makeatletter
+\def\thefigure{\@arabic\c@figure}
+\def\fps@figure{ht}
+\makeatother
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%  Macros pour la mise en page
+%  espaces de lignes negatifs
+\newcommand{\bigskipneg}{\vspace*{-5ex}} %960728
+\newcommand{\medskipneg}{\vspace*{-2ex}} %960728
+\newcommand{\smallskipneg}{\vspace*{-1ex}} %960728
+\newcommand{\miniskipneg}{\vspace*{-0.25ex}} %960728
+\newcommand{\skipneg}{\vspace*{-0.5cm}}
+% indentation
+\newcommand{\noi}{\noindent}
+\newlength{\retraita}           % retrait pour i),  ii),  a),  etc.
+\setlength{\retraita}{2.4em}    % retrait pour i),  ii),  a),  etc.
+%
+\newcommand{\jsreta}{\hspace*{-.5\retraita}}
+\newcommand{\e}{\text{\quad}}                 % un moins petit espace
+\newcommand{\ee}{\text{\qquad}}               % un espace
+\newcommand{\eee}{\text{\qquad \qquad}} % et un grand
+% separateurs
+\newcommand{\tristar}{{\begin{center} * \qquad * \\\ * \ \ \end{center}}}
+\newcommand{\jsetoile}{{\begin{center} * \end{center}}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%% \section{abr. latines}
+\newcommand{\acontrario}{{\itshape a contrario}\xspace } % 
+\newcommand{\ah}{{\itshape ad hoc}\xspace } % pour compatibilitŽ
+\newcommand{\adhoc}{{\itshape ad hoc}\xspace }
+\newcommand{\apriorinosp}{{\itshape a priori}\xspace } % pas de blanc final 
+\newcommand{\apriori}{{\itshape a priori}\xspace } % 
+\newcommand{\afortiori}{{\itshape a fortiori}\xspace }
+\newcommand{\artcit}{{\itshape art. cit.}\xspace }
+\newcommand{\cf}{{\itshape cf.}\xspace }
+\newcommand{\Cf}{{\itshape Cf.}\xspace }
+\newcommand{\eg}{{\itshape e.g.}\xspace }
+\newcommand{\etalii}{{\itshape et~al.}\xspace }
+\newcommand{\etc}{{\itshape etc.}\xspace } % pas de blanc laissŽ aprs etc.
+\newcommand{\ibid}{{\itshape ibid.}\xspace }
+\newcommand{\idem}{{\itshape idem}\xspace }
+\newcommand{\ie}{{\itshape i.e.}\xspace }
+\newcommand{\infra}{{\itshape infra}\xspace }
+\newcommand{\ipsofacto}{{\itshape ipso facto}\xspace }
+\newcommand{\itin}{{\itshape in}\xspace }
+\newcommand{\modulo}{{\itshape modulo}\xspace }
+\newcommand{\mutmat}{{\itshape mutatis mutandis}\xspace } % pas de blanc final
+\newcommand{\nb}{\noindent \mbox{\sc nota bene.}\xspace }
+\newcommand{\opcit}{{\itshape op. cit.}\xspace }
+\newcommand{\opcitnosp}{{\itshape op. cit.}}
+\newcommand{\sed}{{\itshape sed}\xspace }
+\newcommand{\sqq}{{\itshape sqq.}\xspace }
+\newcommand{\supra}{{\itshape supra}\xspace }
+\newcommand{\via}{{\itshape via}\xspace }
+\newcommand{\vv}{{\itshape vice versa}\xspace } %960728 enlevŽ le blanc final
+\newcommand{\verbat}{{\itshape verbatim}\xspace } % pas de blanc final
+\newcommand{\jsleq}{\leqslant }
+\newcommand{\jsgeq}{\geqslant }
+%%%%% tuning of two column macros
+\newlength{\jsIndent}% largeur de la colonne "de figure"
+\setlength{\jsIndent}{1.8cm}%    
+\setlength{\ColoText}{.3\textwidth}%    
+\setlength{\ColoFigu}{\textwidth}%    
+\addtolength{\ColoFigu}{-\ColoText}%    
+\addtolength{\ColoText}{-.6em}%    
+\addtolength{\ColoFigu}{-.6em}%    
+\addtolength{\ColoText}{\jsIndent}
+%
+\newlength{\ColSource}% largeur de la colonne "de texte"
+\newlength{\ColFigur}% largeur de la colonne "de figure"
+\setlength{\ColSource}{.7\textwidth}%    
+\setlength{\ColFigur}{\textwidth}%    
+\addtolength{\ColFigur}{-\ColSource}%    
+\addtolength{\ColSource}{-.6em}%    
+\addtolength{\ColFigur}{-.6em}%    
+\addtolength{\ColFigur}{\jsIndent}
+%
+\renewcommand{\tetegauche}{\VCSG  manual}                %ATTN tete de la page de gauche
+\renewcommand{\tetedroit}{\VCSG  manual}                %ATTN tete de la page de droite
+\renewcommand{\piedgauche}{Version 0.4}%ATTN gauche du pied de page
+\renewcommand{\pieddroit}{October 27.,  2008}   %ATTN droite du pied de page
+\renewcommand{\piedimpcentre}{--~~\rm \thepage ~~--} 
+\renewcommand{\piedpaircentre}{--~~\rm \thepage ~~--} 
+%%%%% 
+\newcommand{\sep}%
+{\begin{center}
+       --- $\circ$ ---
+ \end{center}} 
+\newcommand{\PSTricks}{\texttt{PSTricks}\xspace}
+\newcommand{\URLtilde}{${\scriptstyle\pmb{\sim}}$}
+\makeindex
+%%%%% 
+%\ShowFrame
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{document}
+%
+\ifital \thispagestyle{empty}\mbox{ }\clearpage%
+       \addtocounter{page}{-1}\fi
+%       
+\title{{\LARGE \VCSG}\\
+A package for drawing automata and graphs\\
+\smallskip
+{\large User's  manual}}
+\author{%
+\textsl{Sylvain Lombardy}\\[0.5ex]
+{\normalsize IGM-LabInfo , Univ. Paris-Est}%
+\and 
+\textsl{Jacques Sakarovitch}\\[0.5ex]
+{\normalsize LTCI, CNRS / TELECOM ParisTech}%
+}
+
+\date{October 27.,  2008}
+\maketitle 
+        
+\begin{center}
+{\large Version 0.4}
+\end{center}
+\sep
+%
+\VCSG is a package that allows to draw automata within 
+texts written using \LaTeX.
+It is a set of macros that uses commands of the beautiful \PSTricks package,
+due to Timothy van Zandt\footnote{%
+   The maintenance and evolution of \PSTricks has now been taken over by H.~Voss.}
+and which is part of 
+the current \LaTeX\ distribution.
+\VCSG is the result of the experience gained in composing the several
+hundreds of 
+figures in the book \emph{El\'ements de th\'eorie des automates} 
+(\cite{Sak01}) and in several other papers and conferences slides
+of the authors.
+
+The design of \VCSG implements the following
+underlying philosophy:
+\begin{enumerate}
+    \item  `simple' automata should be 
+described with simple commands.
+
+    \item Every element of a figure can easily be given a style 
+    (which differs from the implicit one).
+
+    \item  The complexity of commands (or the number of things to be remembered 
+to use them) should gradually grow with the complexity of the figure 
+composed by these commands.
+
+    \item  It should be possible to handle the figures both in size and 
+        appearance without modifying them.
+\end{enumerate}
+
+The following example\footnote{%
+    somewhat artificial but which exhibits most of the simple commands.}
+shows how a simple automaton can be drawn 
+with commands, in which only the minimal information needed (position 
+and label of states, shape and label of transitions) is made explicit.
+
+
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[p]{(0,0)}{A}\State{(3,0)}{B}
+\State[r]{(6,0)}{C}
+%
+\Initial{A}\Final{C}
+% transitions 
+\EdgeL{A}{B}{a}
+\ArcL{B}{C}{b}\ArcL{C}{B}{b}
+\LoopN{A}{a}\LoopS{C}{d}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[p]{(0,0)}{A} \State{(3,0)}{B} \State[r]{(6,0)}{C}
+% initial--final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeL{A}{B}{a} \ArcL{B}{C}{b} \ArcL{C}{B}{b}
+\LoopN{A}{a} \LoopS{C}{d}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\bigskip \bigskip
+
+The objectives of \VCSG are achieved by the implicit definition of a 
+large number of  
+parameters that control the geometry of the figure: size of states, 
+width of lines, \etc 
+and by the definition of commands that allow to 
+handle and modify these parameters.
+
+The following pages gives a presentation of \VCSG that 
+gradually introduces the commands from the basic ones that allow 
+to draw already a good deal of automata to the more 
+sophisticated ones that are used to modify the internal parameters.
+
+
+
+\setcounter{tocdepth}{1}
+~
+{\small
+\tableofcontents      
+}
+
+
+\newpage
+\addtocounter{section}{-1}
+%%%%%%%%%%%%%%%%%%%%%%
+\section{Downloading and using the package}\label{sec.d}
+
+
+The \VCSG package is downloadable from the URL:
+
+\texttt{/igm.univ-mlv.fr/\URLtilde lombardy/Vaucanson-G/}
+
+\noindent
+and consists, beside the present manual, in seven files:
+the wrapper \texttt{vaucanson-g.sty}, 
+the main macro file \texttt{VauCanSon-G.tex}, 
+and five other ancillary files\footnote{%
+   {\it Cf.} Section~\ref{sec.mod} for an explanation on the role of 
+   these files.}
+for options, patches and colors:
+\texttt{VCPref-default.tex}, 
+\texttt{VCPref-slides.tex},
+\texttt{VCPref-beamer.tex},
+\texttt{VCPref-mystyle.tex},
+\texttt{VCColor-names.def}
+\index{VCPref-default}%
+\index{VCPref-slides}%
+\index{VCPref-beamer}%
+\index{VCPref-mystyle}%
+\index{VCColor-names.def}%
+that should all be stored in the user's \texttt{texinputs} directory.
+
+A \LaTeX\ file that will use \VCSG macros should contain the call to 
+the wrapper in the preamble:
+
+\verb+\usepackage{vaucanson-g}+ 
+
+The \VCSG commands are to be used in a \LaTeX\ file and not in a plain \TeX\ 
+file for it uses the macro \verb+\newcommand+ that does not exist in \TeX.
+
+\VCSG is based on the \PSTricks package.
+The knowledge of this macro package,
+described in \cite{Girou94}, \cite[Ch.~4]{GRM97}, 
+\cite{GRMRV07}, \cite{Voss07},
+is not necessary to use the \VCSG commands.\footnote{%
+   It probably helps in understanding how they are built, and is 
+   useful if one wants to make figures that consists of automata but 
+   also contains other graphical elements
+   ({\it cf.} Section~\ref{sec.pla}).}
+On the contrary, \VCSG has somehow be written to save on it.
+In particular, the \VCSG commands follow the simple (and rigid) 
+syntax of \LaTeX\ commands concerning the way the arguments are 
+specified, and not the much more flexible syntax of \PSTricks itself.
+
+
+But the call to \PSTricks commands has the consequence that \VCSG 
+commands generate pieces of \texttt{Postscript} files which in turn 
+has two main outcomes\footnote{%
+    which a user should have in mind before sending complaint and 
+    request.}:
+    \begin{itemize}
+        \item  \VCSG is not compatible with \verb+pdflatex+ ;
+    
+        \item  the figures produced with \VCSG are not likely to be 
+        seen on a \texttt{DVI} viewer: the space occupied by the figure 
+        will appear empty and, in most cases, the labels will appear 
+        at the bottom of it.
+    \end{itemize}
+
+% %%%%%%%%%%%%%%%%%%%ù
+% \section{Using Beamer document class}
+\VCSG can be used with the \texttt{beamer} document class to design slides.
+The document class
+\index{beamer class}%
+should be called with {\tt xcolor=pst,dvips} options:
+
+\verb+\documentclass[xcolor=pst,dvips]{beamer}+.
+
+\noindent
+Thus equipped, we may begin.
+%%%%%%%%%%%%%%%%%%%%%%
+\section{Basic commands}\label{sec.b}
+
+An automaton is a \emph{labelled directed graph} where some of the vertices, 
+called \emph{states}, are distinguished to be \emph{initial} or 
+\emph{final} states.
+The basic commands allow then \emph{to define} and \emph{to draw} 
+states, to give them the quality of being initial or final and to give 
+them \emph{labels} as well.
+They allow to draw \emph{transitions} 
+between states (that have been defined before);
+there are 3 kinds of transitions: \emph{(straight) edges}, \emph{arcs} and 
+\emph{loops}.
+
+These commands have to be put in an environment that defines \emph{a 
+picture}.
+All graphical parameters of these elements (size, line width, \etc ) 
+are kept implicit when using these basic commands.
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{The \texttt{VCPicture} environment}\label{subsec.pic}
+\index{VCPicture}
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\begin{VCPicture}{+($x_{0}$, $y_{0}$)($x_{1}$, $y_{1}$)\verb+}+
+
+\ldots
+
+\verb+\end{VCPicture}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Defines a box that ``encloses'' the elements defined in the 
+environment.
+Its lower left (resp. upper right) corner has 
+coordinates~($x_{0}$, $y_{0}$) (resp.~($x_{1}$, $y_{1}$)).
+\end{minipage}%
+
+\medskip
+
+The~$x_{i}$ and~$y_{i}$ are either \emph{length} or \emph{numbers} in 
+which case they represent the corresponding length in centimeter (which 
+is the implicit length unit used in \VCSG).
+The length of the box is thus~$x_{1}-x_{0}$, its 
+height~$y_{1}-y_{0}$, its \emph{baseline point} stands at the middle 
+of the height.
+As usual in \TeX, a picture may well ``contain'' an element that 
+actually lays outside of the box.
+
+Note that the environment has only \emph{one} argument consisting of \emph{two} 
+point coordinates enclosed in adjacent parentheses.
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{The \texttt{State} commands}\label{subsec.sta}
+\index{State}
+
+States are represented by circles, inside which an information (the 
+\emph{Label}) can be written.
+Every state is given a \emph{Name} which is used then internally in the figure to describe the 
+transitions that start from it or end at it.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\State[+\textsl{Label}\verb+]{+%
+   $(x,y)$\verb+}{+%
+   \textsl{Name}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Defines a state with name \textsl{Name} and draws it 
+at the coordinate~$(x,y)$ with label \textsl{Label} written inside.
+\end{minipage}%
+
+\medskip 
+\noi 
+The parameter \textsl{Label} is optional; default value is the empty 
+string.
+It is written in `\TeX\ mathmode'.
+
+\medskip 
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\Initial[+\textsl{Dir}\verb+]{+%
+   \textsl{Name}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Makes the state \textsl{Name} initial, \ie  draws an incoming arrow 
+from the direction \textsl{Dir} to state {\sl Name}.
+\end{minipage}%
+\index{Initial}\index{Final}
+
+\medskip 
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\Final[+\textsl{Dir}\verb+]{+%
+   \textsl{Name}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Makes the state \textsl{Name} final, \ie  draws an outgoing arrow 
+from state {\sl Name} in the direction \textsl{Dir}.
+\end{minipage}%
+
+\medskip 
+\noi 
+The parameter \textsl{Dir} is optional; the possible values are the 
+eight main
+compass points: {\sl n}, {\sl s}, {\sl e}, {\sl w}, {\sl ne}, {\sl 
+nw}, {\sl se} and {\sl sw}. 
+Default value is {\sl w} for \verb+\Initial+, 
+{\sl e} for \verb+\Final+.
+
+Many authors, in particular those dealing with automata on infinite words,
+rather indicate that a state is final by drawing it with doubleline.
+The reason why it is not possible to achieve this result by a sequence of
+two commands comes from the \PSTricks macros that are called by the \VCSG
+commands.
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\FinalState[+\textsl{Label}\verb+]{+%
+   $(x,y)$\verb+}{+%
+   \textsl{Name}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Same as \verb+\State+ but draws state \textsl{Name} 
+with a doubleline which is a common way to indicate that a state is final.
+\index{FinalState}
+\end{minipage}%
+\medskip
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[p]{(0,1)}{A} \State{(2,-1)}{B} \State[r]{(4,1)}{C}
+\FinalState[r]{(6,-1)}{D}
+% initial--final
+\Initial{A} \Final{A}
+\Initial[ne]{B}\Initial[nw]{B}
+\Initial[se]{B}\Initial[sw]{B}
+\Initial{C} \Final[w]{C} \Initial[n]{D} \Final[s]{D}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[p]{(0,1)}{A} \State{(2,-1)}{B} \State[r]{(4,1)}{C}
+\FinalState[r]{(6,-1)}{D}
+% initial--final
+\InitialL{A} \Final{A}
+\Initial[ne]{B} \Initial[nw]{B}
+\Initial[se]{B} \Initial[sw]{B}
+\Initial{C} \Final[w]{C} \Initial[n]{D} \Final[s]{D}
+%
+\end{VCPicture}%
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%\newpage 
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{The \texttt{Edge} commands}\label{subsec.edg}
+
+Edges, like the other transitions, are \emph{oriented} from the origin 
+state to the end state.
+The \emph{left} and the \emph{right} sides of a transition are defined 
+with respect to this orientation, being the left and the right hand of 
+someone standing on the origin state and following
+the transition towards the end state.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+\medskip 
+        \footnotesize
+\verb+\EdgeL[+\textsl{Pos}\verb+]{+%
+   \textsl{Start}\verb+}{+%
+   \textsl{End}\verb+}{+%
+   \textsl{Label}\verb+}+
+   
+\medskip 
+\verb+\EdgeR[+\textsl{Pos}\verb+]{+%
+   \textsl{Start}\verb+}{+%
+   \textsl{End}\verb+}{+%
+   \textsl{Label}\verb+}+
+   \normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draws a straight transition from the state \textsl{Start} to the 
+state \textsl{End} with the label \textsl{Label} on the left side
+for \verb+\EdgeL+, on the right side for \verb+\EdgeR+.\index{Edge}
+\end{minipage}%
+
+\medskip 
+\noi 
+The parameter {\sl Pos} is optional. 
+It is a number ($0\jsleq \text{{\sl Pos}} \jsleq 1$) that defines the 
+position of the label on the edge.
+Default value is~$.45$ and may be used most of the time ---
+this slight disymmetry gives some ``dynamic'' to the figure.
+Explicit value for {\sl Pos} is used to avoid collision with other 
+elements of the figure. 
+As for states, the label is written in `\TeX\ mathmode'.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\State[D]{(6,0)}{D}
+% transitions 
+\EdgeR{A}{B}{a} \EdgeL{A}{C}{b} \EdgeR{B}{D}{c} 
+\EdgeL{C}{D}{d} \EdgeL{C}{B}{} \EdgeL[.3]{A}{D}{x}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\State[D]{(6,0)}{D}
+% transitions 
+\EdgeR{A}{B}{a} \EdgeL{A}{C}{b} \EdgeR{B}{D}{c} 
+\EdgeL{C}{D}{d} \EdgeL{C}{B}{} \EdgeL[.3]{A}{D}{x}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{The \texttt{Arc} commands}\label{subsec.arc}
+
+Arcs are transitions that link the {\sl Start} state to the {\sl End} 
+state with a curved line.
+The main parameter of such a curve is the \emph{angle} made at both 
+ends by the curve with the straight line that goes from  {\sl Start} to 
+{\sl End} and it can be oriented to the \emph{left} or to the 
+\emph{right}.
+In the sequel, the letter \texttt{\textsl{X}} stands for either \verb+L+ 
+or \verb+R+. 
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+\medskip 
+        \footnotesize
+\verb+\Arc+\texttt{\textsl{X}}\verb+[+\textsl{Pos}\verb+]{+%
+   \textsl{Start}\verb+}{+%
+   \textsl{End}\verb+}{+%
+   \textsl{Label}\verb+}+
+   
+\medskip 
+\verb+\LArc+\texttt{\textsl{X}}\verb+[+\textsl{Pos}\verb+]{+%
+   \textsl{Start}\verb+}{+%
+   \textsl{End}\verb+}{+%
+   \textsl{Label}\verb+}+
+   \normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Same syntax as \verb+\Edge+\texttt{\textsl{X}}.\index{Arc}\index{LArc} 
+
+The starting angle is~$15^o$ for \verb+Arc+\texttt{\textsl{X}}, 
+$30^o$ for \verb+LArc+\texttt{\textsl{X}}\verb++. 
+
+Parameter {\sl Pos} is optional. 
+Default value is~$.4$ .
+\end{minipage}%
+
+\medskip 
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\State[D]{(6,0)}{D}
+%initial-final
+\Initial{A} \Final[s]{B} \Final[n]{C}
+% transitions 
+\ArcR{A}{B}{a} \ArcL{A}{C}{b} \LArcR{B}{D}{c} \LArcL{C}{D}{d}
+\ArcL{A}{B}{a'} \EdgeR{A}{C}{b'} \EdgeL{B}{D}{c'} \LArcR{C}{D}{d'}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\State[D]{(6,0)}{D}
+%initial-final
+\Initial{A} \Final[s]{B} \Final[n]{C}
+% transitions 
+\ArcR{A}{B}{a} \ArcL{A}{C}{b} \LArcR{B}{D}{c} \LArcL{C}{D}{d}
+\ArcL{A}{B}{a'} \EdgeR{A}{C}{b'} \EdgeL{B}{D}{c'}
+\LArcR{C}{D}{d'}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{The \texttt{Loop} commands}\label{subsec.loo}
+
+Loops are transitions that link a state to itself, a state which is 
+thus both the origin and the end of the transition.
+The two main parameters of such a loop are the \emph{opening angle} 
+and the \emph{direction} of the loop.
+In the sequel, the letter \texttt{\textsl{Y}} stands for any of the compass 
+points: \verb+N+, \verb+S+, \verb+E+, \verb+W+, \verb+NE+, \verb+NW+, 
+\verb+SE+ or \verb+SW+.\index{Loop}\index{CLoop} 
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+\medskip 
+        \footnotesize
+\verb+\Loop+\texttt{\textsl{Y}}\verb+[+\textsl{Pos}\verb+]{+%
+   \textsl{Name}\verb+}{+%
+   \textsl{Label}\verb+}+
+   
+\medskip 
+\verb+\CLoop+\texttt{\textsl{Y}}\verb+[+\textsl{Pos}\verb+]{+%
+   \textsl{Name}\verb+}{+%
+   \textsl{Label}\verb+}+
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draw a loop around the state {\sl Name} with label {\sl Label}.
+
+The direction of the loop is given by \texttt{\textsl{Y}}.
+The opening of the loop is~$60^o$ for the \verb+Loop+\texttt{\textsl{Y}}\verb++ commands,
+$44^o$ for the \verb+CLoop+\texttt{\textsl{Y}}\verb++ commands.
+
+Parameter {\sl Pos} is optional. 
+Default value is~$.25$ .
+\end{minipage}%
+
+\medskip 
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-3)(7,3)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(3,-2)}{B} \State[C]{(3,2)}{C}
+\State[D]{(6,0)}{D}
+% transitions 
+\LoopE{A}{e} \LoopW{A}{w} \LoopS{A}{s} \LoopN[.5]{A}{n} 
+% \LoopNE{B}{ne} \LoopNW[.5]{B}{nw} 
+\LoopSE[.5]{B}{se} \LoopSW[.5]{B}{sw} 
+\CLoopNE[.6]{C}{ne} \CLoopNW[.6]{C}{nw} 
+% \CLoopSE[.5]{C}{se} \CLoopSW[.5]{C}{sw} 
+\CLoopE{D}{e} \CLoopW{D}{w} \CLoopS{D}{s} \CLoopN[.5]{D}{n} 
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-3)(7,3)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(3,-2)}{B} \State[C]{(3,2)}{C}
+\State[D]{(6,0)}{D}
+% transitions 
+\LoopE{A}{e} \LoopW{A}{w} \LoopS{A}{s} \LoopN[.5]{A}{n} 
+\LoopSE[.5]{B}{se} \LoopSW[.5]{B}{sw} 
+\CLoopNE[.6]{C}{ne} \CLoopNW[.6]{C}{nw} 
+\CLoopE{D}{e} \CLoopW{D}{w} \CLoopS{D}{s} \CLoopN[.5]{D}{n} 
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{An example}\label{subsec.ex1}
+This is an automaton with multiplicity in $\mathbb{N}$.
+The multiplicity of a word~$u$ is the square of the number represented by~$u$
+in base~$2$, when~$a$ is interpreted as~$0$ and $b$ as~$1$.
+
+
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[i]{(0,0)}{A} \State[q]{(3,0)}{B} \State[t]{(6,0)}{C}
+% initial-final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeR{A}{B}{2b} \EdgeR{B}{C}{2b} \LArcL{A}{C}{b}
+\LoopN{A}{a} \LoopS{A}{b} \LoopS[.5]{B}{2a+2b} 
+\LoopN[.75]{C}{4a} \LoopS[.75]{C}{4b}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[i]{(0,0)}{A} \State[q]{(3,0)}{B} \State[t]{(6,0)}{C}
+% initial-final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeR{A}{B}{2b} \EdgeR{B}{C}{2b} \LArcL{A}{C}{b}
+\LoopN{A}{a} \LoopS{A}{b} \LoopS[.5]{B}{2a+2b} 
+\LoopN[.75]{C}{4a} \LoopS[.75]{C}{4b}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\section{Using preset parameters}\label{sec.pre}
+
+Together with the basic commands, \VCSG gives easy access to two convenient
+parameters for drawing automata: global scaling and state size.
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Global scaling}\label{subsec.sca}
+
+The meticulous reader has noticed that the actual size, mesured for 
+instance by the distance between the states, is not the one given in 
+the source code.
+This is because we have slightly cheated and the source code of the 
+picture is indeed encapsulated in a \verb+\VCDraw+ command that uses 
+a preset parameter \verb+\VCScale+ as shown below, with no 
+cheating anymore.
+\index{VCScale}\index{VCDraw}
+
+\ShowFrame
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\medskipneg 
+\begin{center}
+\begin{VCPicture}{(0,-1)(3,1)}
+\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}%
+\end{VCPicture}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-1)(3,1)}
+\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\medskip 
+\begin{center}
+\VCDraw{%
+\begin{VCPicture}{(0,-1)(3,1)}
+\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}%
+\end{VCPicture}}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\VCDraw{%
+\begin{VCPicture}{(0,-1)(3,1)}
+\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}%
+\end{VCPicture}}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\medskip
+\noi 
+Frames that appear on figures below are an option of \VCSG that we
+shall see later. They point out the effect of the scale.
+
+\medskip
+\noi 
+There is no reason indeed for an author to ``program'' the drawing of 
+an automaton at the size it will appear on his, or her, 
+paper. 
+On the contrary, he, or she, is likely to sketch the figure on a 
+ruled paper at a larger scale, giving the points to be defined integer 
+coordinates.
+And then she, or he, will try to put the figure within the text at a 
+reasonable size and thus would like to scale it.
+
+The parameter \verb+\VCScale+ contains this global scaling factor and is
+initialized to the value \verb+0.6+ , which corresponds to the 
+command \verb+\MediumPicture+.
+Three other commands: 
+\verb+\TinyPicture+ ,
+\verb+\SmallPicture+ and
+\verb+\LargePicture+
+are available, that set \verb+\VCScale+ to the values 
+\verb+0.42+ ,
+\verb+0.5+ and
+\verb+0.85+ respectively.
+\index{MediumPicture}\index{TinyPicture}\index{SmallPicture}
+\index{LargePicture}
+
+These command have to be used \emph{outside} the scope of the 
+\verb+VCPicture+ environment; and this environment should be called 
+as the parameter of a \verb+\VCDraw+ .
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur-.7cm}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\TinyPicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(1,1)}\State[p]{(0,0)}{A}\end{VCPicture}}
+\SmallPicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(1,1)}\State[p]{(0,0)}{A}\end{VCPicture}}
+\MediumPicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(1,1)}\State[p]{(0,0)}{A}\end{VCPicture}}
+\LargePicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(1,1)}\State[p]{(0,0)}{A}\end{VCPicture}}
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource+.7cm}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\TinyPicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(1,1)}\State[p]{(0,0)}{A}\end{VCPicture}}
+\SmallPicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(1,1)}\State[p]{(0,0)}{A}\end{VCPicture}}
+\MediumPicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(1,1)}\State[p]{(0,0)}{A}\end{VCPicture}}
+\LargePicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(1,1)}\State[p]{(0,0)}{A}\end{VCPicture}}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+\HideFrame
+
+% \medskip
+\noi
+In the sequel, and unless otherwise stated,
+all the figure will be given at the \verb+\MediumPicture+ 
+scale without mentionning the command \verb+\VCDraw+ in the source code.
+
+% \smallskipneg 
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{State size}\label{subsec.siz1}
+
+There are \emph{three preset sizes} for the states, that are called by the 
+commands \verb+\SmallState+, \verb+\MediumState+ and 
+\verb+\LargeState+, that call for states of diameter 
+\verb+0.6cm+, \verb+0.9cm+ and \verb+1.2cm+ respectively.
+The implicit size, \ie the one that states have if no explicit command 
+is given, is \verb+\MediumState+.
+The ``small'' states are not likely to receive labels, unless their 
+size are changed by other commands.
+\index{SmallState}\index{MediumState}\index{LargeState}
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur-.7cm}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} 
+\SmallState\State{(2,-2)}{B} 
+\MediumState\State[C]{(4,2)}{C}
+\LargeState\State[D]{(6,0)}{D}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource+.7cm}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} 
+\SmallState\State{(2,-2)}{B} 
+\MediumState\State[C]{(4,2)}{C}
+\LargeState\State[D]{(6,0)}{D}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}%
+
+% \medskip
+\noi
+When called outside the scope of the environment \verb+\VCPicture+ the 
+commands  \verb+\SmallState+, \verb+\MediumState+ and 
+\verb+\LargeState+ set the implicit size of the states in all 
+pictures from that point on.
+\ShowFrame%
+
+% \smallskipneg 
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur-.7cm}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+        \SmallState
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(-1,-1)(1,1)}
+\State[A]{(0,0)}{A} 
+\end{VCPicture}%
+}\e 
+\LargeState
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(-1,-1)(1,1)}
+\State[A]{(0,0)}{A} 
+\end{VCPicture}%
+}\e 
+\MediumState
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(-1,-1)(1,1)}
+\State[A]{(0,0)}{A} 
+\end{VCPicture}%
+}
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource+.7cm}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\SmallState
+\begin{VCPicture}{(-1,-1)(1,1)}\State[A]{(0,0)}{A} \end{VCPicture}
+\LargeState
+\begin{VCPicture}{(-1,-1)(1,1)}\State[A]{(0,0)}{A} \end{VCPicture}
+\MediumState
+\begin{VCPicture}{(-1,-1)(1,1)}\State[A]{(0,0)}{A} \end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}%
+\HideFrame
+
+% \smallskipneg 
+\subsection{Variable size states}\label{subsec.varst}
+% \medskip
+\noi
+%Independently of the preset size --- in this instance, of the \emph{height} --- 
+One can draw states which will be called \emph{variable states} and whose 
+\emph{width} is variable and \emph{fits the width of the 
+label}.\footnote{%
+   This makes sense for long labels and it may be the case then that 
+   the label is not a mathematical variable or expression any more 
+   but simple text.
+   In order to write labels in \TeX\ LR mode, the easiest way is to 
+   write it as the parameter of a $\backslash$\texttt{text} command, 
+   provided the \texttt{amsmath} package has been called in the 
+   preamble.}
+The height of
+\index{StateVar}
+\index{text}
+\index{amsmath}
+these variable states is fixed by the current preset state size.
+
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\StateVar[+\textsl{Label}\verb+]{+%
+   $(x,y)$\verb+}{+%
+   \textsl{Name}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Same as syntax as \verb+\State+.
+\end{minipage}%
+% \clearpage
+
+% \medskip
+
+\noi
+Note that the current version of \VCSG uses a trick to make these 
+states with adaptable width.
+They look like Egyptian cartouches but they are indeed 
+\emph{rectangles} which can be observed when transitions reach these 
+states in an oblique way.
+
+Arcs between variable states of different width will look asymmetric 
+and often ungainly.
+Other loops than ``north'' and ``south'' loops should not be drawn 
+around variable states. Moreover, in order to draw loops that have the same appearance as loops
+around standard states, one should use 
+\verb+\LoopVarN+ or \verb+\LoopVarS+
+that have the same syntax as \verb+\LoopN+ or \verb+\LoopS+.
+\index{LoopVarN}\index{LoopVarS}
+Another possibility is to call the \verb+\VarLoopOn+ command to make 
+all the subsequent loops suited to variable states.
+Switching back to `normal' loops is made by \verb+\VarLoopOff+.
+\index{VarLoopOn}
+\index{VarLoopOff}
+
+For the same reason, it is \emph{not possible} to make a variable
+state initial or final with diagonal arrows ($ne$, $nw$, $se$, $sw$).
+
+
+\medskip 
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\SmallPicture\VCDraw{%
+\begin{VCPicture}{(0,-3)(8,3)}
+% states
+\State[AA]{(0,2)}{A} \StateVar[AA]{(2.5,2)}{B} 
+\StateVar[(b a^{*} b)^{*}]{(7,2)}{C} 
+\LargeState 
+\State[AA]{(0,-2)}{A1} \StateVar[AA]{(2.5,-2)}{B1} 
+\StateVar[(b a^{*} b)^{*}]{(7,-2)}{C1} 
+%
+\Initial[n]{B} \Final{C} \Initial[s]{B1} \Final{C1}
+%
+\EdgeL{A}{B}{a} \ArcL{B}{C}{b} \ArcL{C}{C1}{c} \EdgeL{B1}{C}{a} 
+\ArcL{A1}{B1}{a} \LArcR{A1}{B1}{b} \LArcR{B1}{C1}{b} 
+\LoopN{A}{c} \LoopVarN{C}{c}
+\LoopS{A1}{c} \VarLoopOn\LoopS{C1}{c}\VarLoopOff
+\end{VCPicture}}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\SmallPicture\VCDraw{\begin{VCPicture}{(0,-3)(8,3)}
+% states
+\State[AA]{(0,2)}{A} \StateVar[AA]{(2.5,2)}{B} 
+\StateVar[(b a^{*} b)^{*}]{(7,2)}{C} 
+\LargeState \StateVar[(b a^{*} b)^{*}]{(7,-2)}{C1} 
+\State[AA]{(0,-2)}{A1} \StateVar[AA]{(2.5,-2)}{B1} 
+%
+\Initial[n]{B} \Final{C} \Initial[s]{B1} \Final{C1}
+%
+\EdgeL{A}{B}{a} \ArcL{B}{C}{b} \ArcL{C}{C1}{c} \EdgeL{B1}{C}{a} 
+\ArcL{A1}{B1}{a} \LArcR{A1}{B1}{b} \LArcR{B1}{C1}{b} 
+\LoopN{A}{c} \LoopVarN{C}{c}
+\LoopS{A1}{c} \VarLoopOn\LoopS{C1}{c}\VarLoopOff
+\end{VCPicture}}
+\end{verbatim}
+\normalsize
+\end{minipage}
+
+\medskip 
+
+\noi
+There exists\footnote{%
+   Since version 0.3 only.}
+also a \verb+\FinalStateVar+  command, with the same syntax as 
+\verb+\StateVar+ and which draws a variable state with double line, 
+(independently of the current drawing style for the state), exactly 
+in the same way as does \verb+\FinalState+.
+\index{FinalStateVar}%
+
+\subsection{Very small states}\label{subsec.siz2}
+There is actually a fourth size for states, called \emph{very small} states.
+To define such a state one uses the command \verb+\VSState+ with
+the same syntax as \verb+\State+. However, it is not possible, of course,
+to put a label inside such a state.
+\index{VSState}
+
+\medskip 
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\SmallPicture\VCDraw{%
+\begin{VCPicture}{(-3,-3)(3,3)}
+% states
+\State[A]{(0,0)}{A}
+\VSState{(-2,2)}{G1} 
+\VSState{(-2,0)}{G2} 
+\VSState{(-2,-2)}{G3} 
+\VSState{(2,2)}{D1} 
+\VSState{(2,0)}{D2} 
+\VSState{(2,-2)}{D3} 
+\EdgeL{G1}{A}{a_1} \EdgeL{G2}{A}{a_2} \EdgeL{G3}{A}{a_3}
+\EdgeL{A}{D1}{b_1} \EdgeL{A}{D2}{b_2} \EdgeL{A}{D3}{b_3}
+\end{VCPicture}}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-3,-3)(3,3)}
+% states
+\State[A]{(0,0)}{A}
+\VSState{(-2,2)}{G1} \VSState{(-2,0)}{G2} \VSState{(-2,-2)}{G3}
+\VSState{(2,2)}{D1} \VSState{(2,0)}{D2} \VSState{(2,-2)}{D3}
+\EdgeL{G1}{A}{a_1} \EdgeL{G2}{A}{a_2} \EdgeL{G3}{A}{a_3}
+\EdgeL{A}{D1}{b_1} \EdgeL{A}{D2}{b_2} \EdgeL{A}{D3}{b_3}
+\end{VCPicture}}
+\end{verbatim}
+\normalsize
+\end{minipage}%
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Miscellaneous}\label{subsec.misc1}
+
+A few commands allow to tune the drawing of an automaton without 
+going to precise mastering of the parameters involved in the commands 
+and that we shall describe in section~4.
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{Dimmed states and transitions}
+~
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\DimState+ \ee 
+\verb+\DimEdge+
+   
+\medskip 
+\verb+\RstState+ \ee 
+\verb+\RstEdge+
+   
+\medskip 
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draw states and transitions and their 
+respective labels in gray.
+
+% , in such a way they appear as 
+% dimmed. 
+\smallskip 
+
+Restore the normal style.
+\end{minipage}%
+\index{DimState}\index{DimEdge}
+\index{RstEdge}\index{RstState}
+
+\medskip
+\noi 
+May be used for instance in order to indicate the non accessible part 
+of an automaton.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+%% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\DimState \State[D]{(6,0)}{D}
+%initial-final
+\Initial{A} \Final[s]{B} \Final[n]{C}
+% transitions 
+\ArcR{A}{B}{a} \ArcL{A}{C}{b} 
+\DimEdge \LArcR{B}{D}{c} \LArcL{C}{D}{d} \RstEdge
+\ArcL{A}{B}{a'} \EdgeR{A}{C}{b'}
+\DimEdge \EdgeL{B}{D}{c'} \LArcR{C}{D}{d'}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\DimState \State[D]{(6,0)}{D}
+%initial-final
+\Initial{A} \Final[s]{B} \Final[n]{C}
+% transitions 
+\ArcR{A}{B}{a} \ArcL{A}{C}{b} 
+\DimEdge \LArcR{B}{D}{c} \LArcL{C}{D}{d} \RstEdge
+\ArcL{A}{B}{a'} \EdgeR{A}{C}{b'}
+\DimEdge \EdgeL{B}{D}{c'} \LArcR{C}{D}{d'}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{Double lines}
+~
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\StateLineDouble+ \ee \verb+\EdgeLineDouble+ 
+   
+\medskip 
+\verb+\StateLineSimple+ \ee \verb+\EdgeLineSimple+ 
+   
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draw states and transitions with double lines.
+\index{StateLineDouble}\index{EdgeLineDouble}
+
+\smallskip 
+
+Draw states and transitions with simple lines.
+\index{StateLineSimple}\index{EdgeLineSimple}
+\end{minipage}%
+
+\medskip
+\noi 
+May be used for emphasize transitions or states 
+of an automaton.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B}
+\StateLineDouble \State[C]{(4,2)}{C}
+\StateLineSimple \State[D]{(6,0)}{D}
+%initial-final
+\Initial{A} \Final[s]{B}
+% transitions 
+\ArcR{A}{B}{a} \ArcL{A}{C}{b}
+\LArcR{B}{D}{c} \LArcL{C}{D}{d}
+\ArcL{A}{B}{a'} \EdgeLineDouble \EdgeR{A}{C}{b'}
+\EdgeLineSimple \EdgeL{B}{D}{c'} \LArcR{C}{D}{d'}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B}
+\StateLineDouble \State[C]{(4,2)}{C}
+\StateLineSimple \State[D]{(6,0)}{D}
+%initial-final
+\Initial{A} \Final[s]{B}
+% transitions 
+\ArcR{A}{B}{a} \ArcL{A}{C}{b}
+\LArcR{B}{D}{c} \LArcL{C}{D}{d}
+\ArcL{A}{B}{a'} \EdgeLineDouble \EdgeR{A}{C}{b'}
+\EdgeLineSimple \EdgeL{B}{D}{c'} \LArcR{C}{D}{d'}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\noi
+The command \verb+\FinalState{+$(x,y)$\verb+}{+$p$\verb+}+ is equivalent to
+the sequence\\
+\verb+\StateLineDouble \State{+$(x,y)$\verb+}{+$p$\verb+} \StateLineSimple+ 
+if the current implicit mode is \verb+\StateLineSimple+ , 
+it is equivalent to \verb+\State{+$(x,y)$\verb+}{+$p$\verb+}+ in the 
+other case.
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{Hiding states}
+~
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\HideState+ \ee 
+   
+\medskip 
+\verb+\ShowState+ \ee 
+   
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Cancel the drawing of states.\index{HideState}
+
+\smallskip 
+
+Active the drawing of states.\index{ShowState}
+\end{minipage}%
+
+\medskip
+\noi 
+May be useful for drawing slides that will be overlayed.\footnote{%
+   We began to write the package when overhead projectors were still 
+   of common usage\ldots}
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\HideState
+\State[i]{(0,0)}{A} \State[t]{(6,0)}{C}
+\ShowState
+\State[q]{(3,0)}{B} 
+% initial-final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeR{A}{B}{2b} \EdgeR{B}{C}{2b} \LArcL{A}{C}{b}
+\LoopN{A}{a} \LoopS{A}{b} \LoopS[.5]{B}{2a+2b} 
+\LoopN[.75]{C}{4a} \LoopS[.75]{C}{4b}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\HideState
+\State[i]{(0,0)}{A} \State[t]{(6,0)}{C}
+\ShowState
+\State[q]{(3,0)}{B} 
+% initial-final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeR{A}{B}{2b} \EdgeR{B}{C}{2b} \LArcL{A}{C}{b}
+\LoopN{A}{a} \LoopS{A}{b} \LoopS[.5]{B}{2a+2b} 
+\LoopN[.75]{C}{4a} \LoopS[.75]{C}{4b}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{Reverse transitions}
+~
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\ReverseArrow+ \ee 
+   
+\medskip 
+\verb+\StraightArrow+ \ee 
+   
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Exchange the origin and the end of a transition.\index{ReverseArrow}
+
+\smallskip 
+
+Restore the normal style.\index{StraightArrow}
+\end{minipage}%
+
+\medskip
+\noi 
+May be useful for modifying a part of a figure that had already been 
+written.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\State[D]{(6,0)}{D}
+% transitions 
+\Final[s]{B}
+\ArcR{A}{B}{a} \ArcL{A}{C}{b} \LArcR{B}{D}{c} \LArcL{C}{D}{d}
+\ReverseArrow
+\Initial{A} \Final[n]{C}
+\ArcL{A}{B}{a'} \EdgeR{A}{C}{b'} \EdgeL{B}{D}{c'} \LArcR{C}{D}{d'}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\State[D]{(6,0)}{D} 
+% transitions 
+\Final[s]{B}
+\ArcR{A}{B}{a} \ArcL{A}{C}{b} \LArcR{B}{D}{c} \LArcL{C}{D}{d}
+\ReverseArrow
+\Initial{A} \Final[n]{C}
+\ArcL{A}{B}{a'} \EdgeR{A}{C}{b'} \EdgeL{B}{D}{c'}
+\LArcR{C}{D}{d'}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{Edge border}
+~
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\EdgeBorder+ \ee 
+   
+\medskip 
+\verb+\EdgeBorderOff+ \ee 
+   
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draw edges with a white border on each side.\index{EdgeBorder}
+
+\smallskip 
+
+Restore the normal style.\index{EdgeBorderOff}
+\end{minipage}%
+
+\medskip
+\noi
+May be used to make more readable a picture in which many arrows 
+cross each other.
+The \emph{order} in which the edges are drawn becomes then meaningfull.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,1)}{A}  \State[B]{(3,2)}{B}  \State[C]{(6,1)}{C}
+\State[D]{(0,-1)}{D} \State[E]{(3,-2)}{E} \State[F]{(6,-1)}{F}
+% transitions 
+\EdgeR{A}{E}{a} \EdgeL[.8]{D}{B}{b} \EdgeR[.7]{B}{E}{b} 
+%
+\EdgeBorder
+\EdgeL[.35]{A}{F}{a} \EdgeR[.3]{E}{C}{d}
+\EdgeBorderOff
+\EdgeL{B}{F}{c}
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,1)}{A}  \State[B]{(3,2)}{B}  \State[C]{(6,1)}{C}
+\State[D]{(0,-1)}{D} \State[E]{(3,-2)}{E} \State[F]{(6,-1)}{F}
+% transitions 
+\EdgeR{A}{E}{a} \EdgeL[.8]{D}{B}{b} \EdgeR[.7]{B}{E}{b} 
+%
+\EdgeBorder
+\EdgeL[.35]{A}{F}{a} \EdgeR[.3]{E}{C}{d}
+\EdgeBorderOff
+\EdgeL{B}{F}{c}
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{Forth and back offset}
+~
+Normally, an edge lays on the line that links the center of the start 
+and end states.
+Which forbid to have two straight edges in opposite directions 
+between states.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\ForthBackOffset+ \ee 
+   
+\medskip 
+\verb+\RstEdgeOffset+ \ee 
+   
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Shift the edge on the left handside.\index{ForthBackOffset}
+
+\smallskip 
+
+Restore the normal style.\index{RstEdgeOffset}
+\end{minipage}%
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,1)}{A} \State[B]{(3,1)}{B} \State[C]{(6,1)}{C}
+\LargeState
+\State[A]{(0,-1)}{A1} \State[B]{(3,-1)}{B1} \State[C]{(6,-1)}{C1}
+% transitions 
+\EdgeL{A}{B}{a} 
+\ForthBackOffset \EdgeL{B}{C}{b} \EdgeL{C}{B}{b} 
+\RstEdgeOffset 
+\EdgeL{A1}{B1}{a} 
+\ForthBackOffset \EdgeL{B1}{C1}{b} \EdgeL{C1}{B1}{b} 
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,1)}{A} \State[B]{(3,1)}{B} \State[C]{(6,1)}{C}
+\LargeState
+\State[A]{(0,-1)}{A1} \State[B]{(3,-1)}{B1}
+\State[C]{(6,-1)}{C1}
+% transitions 
+\EdgeL{A}{B}{a} 
+\ForthBackOffset \EdgeL{B}{C}{b} \EdgeL{C}{B}{b} 
+\RstEdgeOffset \EdgeL{A1}{B1}{a} 
+\ForthBackOffset \EdgeL{B1}{C1}{b} \EdgeL{C1}{B1}{b} 
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{Zigzag edges}
+~
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+\medskip 
+        \footnotesize
+\verb+\ZZEdgeL[+\textsl{Pos}\verb+]{+%
+   \textsl{Start}\verb+}{+%
+   \textsl{End}\verb+}{+%
+   \textsl{Label}\verb+}+
+   
+\medskip 
+\verb+\ZZEdgeR[+\textsl{Pos}\verb+]{+%
+   \textsl{Start}\verb+}{+%
+   \textsl{End}\verb+}{+%
+   \textsl{Label}\verb+}+
+   \normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draws a ``zigzag'' transition from the state \textsl{Start} to the 
+state \textsl{End} with the label \textsl{Label} on the left or
+the right side.\index{ZZEdge}
+\end{minipage}%
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\VSState{(6,0)}{D}
+% transitions 
+\EdgeR{A}{B}{a} \EdgeL{A}{C}{b} \EdgeR{B}{D}{c} 
+\ZZEdgeL{C}{D}{d} \ZZEdgeR{C}{B}{b}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B} \State[C]{(4,2)}{C}
+\VSState{(6,0)}{D}
+% transitions 
+\EdgeR{A}{B}{a} \EdgeL{A}{C}{b} \EdgeR{B}{D}{c} 
+\ZZEdgeL{C}{D}{d} \ZZEdgeR{C}{B}{b}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\paragraph{Lining up}
+~
+By default, labels of states are centered. When states are aligned, it may happen
+that this seems ungainly. The following command solves this problem.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\AlignedLabel+ \ee 
+   
+\medskip 
+\verb+\FloatingLabel+ \ee 
+   
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Put labels of states on a virtual baseline.\index{AlignedLabel}
+
+\smallskip 
+
+Center the label of states vertically.\index{FloatingLabel}
+\end{minipage}%
+
+\noi
+Default option is \verb+\FloatingLabel+.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(0,-4)(6,1)}
+% states
+\State[p]{(0,0)}{A} \State[b]{(3,0)}{B} \State[a]{(6,0)}{C}
+\AlignedLabel
+\State[p]{(0,-3)}{A1} \State[b]{(3,-3)}{B1} \State[a]{(6,-3)}{C1}
+%transitions 
+\EdgeL{A}{B}{a} \ArcL{B}{C}{b} \ArcL{C}{B}{c} 
+\EdgeL{A1}{B1}{a} \ArcL{B1}{C1}{b} \ArcL{C1}{B1}{c} 
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-4)(6,1)}
+% states
+\State[p]{(0,0)}{A} \State[b]{(3,0)}{B} \State[a]{(6,0)}{C}
+\AlignedLabel
+\State[p]{(0,-3)}{A1} \State[b]{(3,-3)}{B1}
+\State[a]{(6,-3)}{C1}
+%transitions 
+\EdgeL{A}{B}{a} \ArcL{B}{C}{b} \ArcL{C}{B}{c} 
+\EdgeL{A1}{B1}{a} \ArcL{B1}{C1}{b} \ArcL{C1}{B1}{c} 
+%
+\end{VCPicture}%
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{The command \texttt{$\backslash$Point}}
+~
+This commands is a direct translation of a command from \PSTricks.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\Point{+%
+   $(x,y)$\verb+}{+%
+   \textsl{Name}\verb+}+
+   
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Sets a point with name \textsl{Name} at the coordinate $(x,y)$.\index{Point}
+\end{minipage}% 
+
+This command does \textsl{not} draw any point.
+With \PSTricks, and thus with \VCSG, any line or curve must be drawn
+\textsl{between} two predefined objects. That is the aim of \verb+\Point+.
+For instance, initial and final arrows are drawn with this trick:
+any time a state is defined, eight points are silently and implicitely defined around it.
+
+%\noi 
+%\hspace*{-\jsIndent}
+%\begin{minipage}[t]{\ColoText}
+%       \par\vspace*{0mm}% pour l'alignement sur le haut
+%       \footnotesize
+%\verb+\Edge{+%
+%   \textsl{Start}\verb+}{+%
+%   \textsl{End}\verb+}+
+%   
+%\end{minipage}% 
+%\hspace*{1.2em}% 
+%\begin{minipage}[t]{\ColoFigu}%
+%% \setlength{\parindent}{\parindenttemp}%
+%\par\vspace*{0mm}% pour l'alignement sur le haut
+%Sets a point with name \textsl{Name} at the coordinate \textsl{x,y}.
+%
+%\smallskip 
+%
+%Draws a straight arrow from the state \textsl{Start} to the state \textsl{End}.
+%\end{minipage}%
+%
+%\medskip
+
+\subsection{Writing composite labels}
+Some useful tools are proposed to write composite labels on arrows.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\IOL{+%
+   \textsl{Input}\verb+}{+%
+   \textsl{Output}\verb+}+
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Produces the string \textsl{Input}$\mid$\textsl{Output}, useful
+when one draws transducers. This allows to modify the way it is done
+by redefining command \verb+\IOL+.\index{IOL}
+
+\end{minipage}%
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\Stack+\texttt{\textsl{X}}\verb+Labels{+%
+   \textsl{Label1}\verb+}{+%
+   \textsl{Label2}\verb+}+
+
+\medskip
+\verb+\Stack+\texttt{\textsl{X}}\verb+LabelsP{+%
+   \textsl{Label1}\verb+}{+%
+   \textsl{Label2}\verb+}+
+
+\medskip
+\verb+\Line+\texttt{\textsl{X}}\verb+LabelsP{+%
+   \textsl{Label1}\verb+}{+%
+   \textsl{Label2}\verb+}+
+
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+In these commands, \texttt{\textsl{X}} equals \texttt{Two} or \texttt{Three}.
+In the later case, commands have obviously three arguments.
+
+\verb+\Stack+\texttt{\textsl{X}}\verb+Labels+ gives a vertical arrangement of labels, whereas
+\verb+\Stack+\texttt{\textsl{X}}\verb+LabelsP+ inserts symbols $+$ between them.
+\verb+\Line+\texttt{\textsl{X}}\verb+LabelsP+ is the horizontal version of \verb+\Stack+\texttt{\textsl{X}}\verb+LabelsP+;
+it can be redefined in order to change symbols, for instance.
+\index{StackLabels}\index{LineLabelsP}
+\end{minipage}%
+
+\noi
+The following automaton is the right sequential transducer that realizes the addition in base~$2$.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(-2,-2)(5,3)}
+% states
+\State[0]{(0,0)}{A} \State[1]{(3,0)}{B}
+\Initial[n]{A}
+\Final[s]{A} \FinalR{e}{B}{\IOL{}{1}}
+%transitions 
+\LoopW[.5]{A}{\StackTwoLabelsP{\IOL{0}{0}}{\IOL{1}{1}}}
+\LoopN[.7]{B}{\LineTwoLabelsP{\IOL{1}{0}}{\IOL{2}{1}}}
+\ArcL{A}{B}{\IOL{2}{0}}
+\ArcL{B}{A}{\IOL{0}{1}}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-2,-2)(5,3)}
+% states
+\State[0]{(0,0)}{A} \State[1]{(3,0)}{B}
+\Initial[n]{A}
+\Final[s]{A} \FinalR{e}{B}{\IOL{}{1}}
+%transitions 
+\LoopW[.5]{A}{\StackTwoLabelsP{\IOL{0}{0}}{\IOL{1}{1}}}
+\LoopN[.7]{B}{\LineTwoLabelsP{\IOL{1}{0}}{\IOL{2}{1}}}
+\ArcL{A}{B}{\IOL{2}{0}}
+\ArcL{B}{A}{\IOL{0}{1}}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\section{Composing a picture}\label{sec.com}
+
+The commands described above allow to define most of the figures 
+representing automata in any textbook or technical paper.
+Before turning to more sophisticated commands that are used 
+for less than 5 percent of the elements and that appear in less than 
+10 percent of the figures, let us turn to few commands that help in 
+composing the figures.
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Structuring the automaton: The \texttt{VCPut} command}\label{subsec.rpu}
+
+In many automata, a same pattern in states, and also in edges, is 
+reproduced several times in the figure.
+The idea is not to try to ``program'' these regular patterns but to 
+allow the use of the ``copy-and-paste'' operations in the source 
+file as much as possible, with minimum corrections afterwards.
+This will be achieved easily with the help of the  
+command~\verb+\VCPut+.\index{VCPut}
+
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\VCPut{(+$x$,$y$\verb+)}{+ instructions\ldots \verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Translates the result of the instructions by the vector~($x$, $y$).
+\end{minipage}%
+
+\medskip
+\noi
+Note that this command is taken directly from \PSTricks but uses \VCSG's syntax.
+%the special syntax of that command which is taken directly from 
+%PSTricks: the first argument ($x$,$y$)
+%\emph{is not} put inside braces.
+%There should not be any space before, after, and inside the 
+%parentheses.
+
+Of course the commands that are to be put as the second argument 
+of~\verb+\VCPut+ are the defining states commands, with possibly  
+other~\verb+\VCPut+ inside. 
+The structuration of the figure \textit{via} the use of~\verb+\VCPut+
+commands does not only save typing.
+It makes also easier the tuning of the figure, and the reusability of 
+its parts.
+
+In the example below, the two~\verb+\VCPut+ are used to place the 
+two parts of the automaton.
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+%       \ShowFrame 
+\SmallPicture\VCDraw{%
+\begin{VCPicture}{(-1,-2)(7,5)}
+\VCPut{(0,3)}{\State[j]{(0,0)}{A1} \State[r]{(3,0)}{B1}}
+\VCPut{(3,0)}{\State[s]{(0,0)}{A2} \State[u]{(3,0)}{B2}}
+%
+\Initial{A1} \Final{B2} 
+\EdgeL{A1}{B1}{b} \LoopN[.5]{A1}{a+b} \LoopN[.5]{B1}{2a+2b}
+\EdgeR{A2}{B2}{b} \LoopS[.5]{A2}{2a+2b} \LoopS[.5]{B2}{4a+4b}
+\EdgeR{A1}{A2}{b} \EdgeL{B1}{B2}{b} \EdgeL{A1}{B2}{b}
+%
+\end{VCPicture}
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-1,-2)(7,5)}
+\VCPut{(0,3)}{\State[j]{(0,0)}{A1} \State[r]{(3,0)}{B1}}
+\VCPut{(3,0)}{\State[s]{(0,0)}{A2} \State[u]{(3,0)}{B2}}
+%
+\Initial{A1} \Final{B2}
+\EdgeL{A1}{B1}{b} \LoopN[.5]{A1}{a+b} \LoopN[.5]{B1}{2a+2b}
+\EdgeR{A2}{B2}{b} \LoopS[.5]{A2}{2a+2b} \LoopS[.5]{B2}{4a+4b}
+\EdgeR{A1}{A2}{b} \EdgeL{B1}{B2}{b} \EdgeL{A1}{B2}{b}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\noi
+The \verb+\VCPut+ command can also be used to rotate a figure by using
+an optional parameter.
+
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\VCPut[+$r$\verb+]{(+$x$,$y$\verb+)}{+ instructions\ldots \verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Rotate the result of the instructions with angle~$r$ and center~$(0,0)$
+and then translate it by the vector~($x$, $y$).
+\end{minipage}%
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+%       \ShowFrame 
+\SmallPicture\VCDraw{%
+\begin{VCPicture}{(-1,-1)(5,4)}
+\StateVar[(0,0)]{(0,0)}{O}
+\State[A]{(3,0)}{A}
+\VCPut[90]{(0,0)}{\StateVar[90^o]{(3,0)}{B}}
+\VCPut[90]{(4,0)}{\State[C]{(3,0)}{C}}
+\LArcR{A}{B}{r} \EdgeL{B}{C}{t}
+\end{VCPicture}
+}
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-1,-1)(5,4)}
+\StateVar[(0,0)]{(0,0)}{O}
+\State[A]{(3,0)}{A}
+\VCPut[90]{(0,0)}{\StateVar[90^o]{(3,0)}{B}}
+\VCPut[90]{(4,0)}{\State[C]{(3,0)}{C}}
+\LArcR{A}{B}{r} \EdgeL{B}{C}{t}
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+The default option is that labels of states (except those of \emph{variable states}) are put in a horizontal
+position (\verb+\RigidLabel+), but the command \verb+\SwivelLabel+
+makes them rotate with the figure.\index{RigidLabel}\index{SwivelLabel}
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+%       \ShowFrame 
+\SmallPicture\VCDraw{%
+\begin{VCPicture}{(-5,-5)(5,5)}
+\SwivelLabel
+\State[1]{(4,0)}{A1}\LoopE{A1}{a}
+\VCPut[40]{(0,0)}{\State[2]{(4,0)}{A2}\LoopE{A2}{a}\ArcR{A1}{A2}{b}}
+\VCPut[80]{(0,0)}{\State[3]{(4,0)}{A3}\LoopE{A3}{a}\ArcR{A2}{A3}{b}}
+\VCPut[120]{(0,0)}{\State[4]{(4,0)}{A4}\LoopE{A4}{a}}
+\VCPut[160]{(0,0)}{\State[5]{(4,0)}{A5}\LoopE{A5}{a}}
+\RigidLabel
+\VCPut[200]{(0,0)}{\State[6]{(4,0)}{A6}\LoopE{A6}{a}\ArcR{A5}{A6}{b}}
+\VCPut[240]{(0,0)}{\State[7]{(4,0)}{A7}\LoopE{A7}{a}\ArcR{A6}{A7}{b}}
+\VCPut[280]{(0,0)}{\State[8]{(4,0)}{A8}}
+\VCPut[320]{(0,0)}{\State[9]{(4,0)}{A9}}
+\ArcR{A3}{A4}{b} \ArcR{A4}{A5}{b}
+\ArcR{A7}{A8}{b} \ArcR{A8}{A9}{b} \ArcR{A9}{A1}{b}
+\LoopL{280}{A8}{a} \LoopL{320}{A9}{a}
+\end{VCPicture}
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-5,-5)(5,5)}
+\SwivelLabel
+\State[1]{(4,0)}{A1}\LoopE{A1}{a}
+\VCPut[40]{(0,0)}{%
+   \State[2]{(4,0)}{A2}\LoopE{A2}{a}\ArcR{A1}{A2}{b}}
+\VCPut[80]{(0,0)}{%
+   \State[3]{(4,0)}{A3}\LoopE{A3}{a}\ArcR{A2}{A3}{b}}
+\VCPut[120]{(0,0)}{\State[4]{(4,0)}{A4}\LoopE{A4}{a}}
+\VCPut[160]{(0,0)}{\State[5]{(4,0)}{A5}\LoopE{A5}{a}}
+\RigidLabel
+\VCPut[200]{(0,0)}{%
+   \State[6]{(4,0)}{A6}\LoopE{A6}{a}\ArcR{A5}{A6}{b}}
+\VCPut[240]{(0,0)}{%
+   \State[7]{(4,0)}{A7}\LoopE{A7}{a}\ArcR{A6}{A7}{b}}
+\VCPut[280]{(0,0)}{\State[8]{(4,0)}{A8}}
+\VCPut[320]{(0,0)}{\State[9]{(4,0)}{A9}}
+\ArcR{A3}{A4}{b} \ArcR{A4}{A5}{b}
+\ArcR{A7}{A8}{b} \ArcR{A8}{A9}{b} \ArcR{A9}{A1}{b}
+\LoopL{A8}{280}{a} \LoopL{A9}{320}{a}
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+One can notice that \verb+\RigidLabel+ only acts on labels of states.
+To draw arcs with ``rigid'' labels, commands have to be written outside
+\verb+\VCPut+. We shall see later how to deal with the command \verb+\LoopL+
+in order to give any orientation to loops without using \verb+\VCPut+.
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Using separate files}\label{subsec.fil}
+
+In order to use several times the same figure in the same or in 
+different papers, or even, as we shall see in the next section, in two 
+different contexts such as in a paper and in a slide for a talk,
+it is convenient to have the figure written into a file and imported
+in the main \LaTeX \ source file.
+This can be handled by the following macros.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\VCCall{+\textsl{FileName}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Calls the file \textsl{FileName} and apply the~\verb+\VCScale+.\index{VCCall}
+\end{minipage}%
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\SetVCDirectory{+\textsl{Directory}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Sets to \textsl{Directory} the directory where the file 
+\textsl{FileName} will be taken by the macro \verb+\VCCall+ .
+Set to the current directory by default.
+Usual Unix syntax is used to name directories.
+\end{minipage}%
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\ShowName+ \ee 
+\verb+\HideName+ 
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Sets or unsets a flag that controls the printing of  
+\textsl{FileName} besides the figure drawn by \verb+\VCCall+.
+\index{ShowName}\index{HideName}
+\end{minipage}%
+
+\medskip
+\noi
+For the example below, the following lines have been saved in the 
+file \verb+TwoStates.tex+:
+\small
+\begin{verbatim}
+\begin{VCPicture}{(-1,-1)(4,1)}
+\State[p]{(0,0)}{A} \State[q]{(3,0)}{B}%
+\ArcL{A}{B}{b} \LArcL{B}{A}{a} \LoopE{B}{a}
+\end{VCPicture}
+\end{verbatim}
+\normalsize 
+
+\verb+\VCCall+ applies the same parameters to figures described
+in files as \verb+\VCDraw+ does. 
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+% \begin{center}
+\ee \VCCall{TwoStates}
+
+\medskip
+
+\SmallPicture \ShowName 
+\ee \VCCall{TwoStates}
+% \end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\VCCall{TwoStates}
+
+\SmallPicture \ShowName 
+\VCCall{TwoStates}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Frame and grid}\label{subsec.ffra}
+
+% %%%%%%%%%%%%%%%%%%%%%%
+% \paragraph{Frame and grid}
+% ~
+Two macros that help placing the figure in the page, and the states in 
+the figure.  
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\ShowFrame+ \ee \verb+\HideFrame+ \ee
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Sets or unsets a flag that controls the drawing of the \emph{bounding box} which is 
+defined by the parameter of the \verb+\VCPicture+ environment.
+\index{ShowFrame}\index{HideFrame}
+\end{minipage}%
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\ShowGrid+ \ee \verb+\HideGrid+ \ee 
+   \end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Sets or unsets a flag that controls the drawing of a \emph{grid} inside the 
+bounding box which is  
+defined by the parameter of the \verb+\VCPicture+ environment.
+\index{ShowGrid}\index{HideGrid}
+\end{minipage}%
+
+
+\medskip
+\noi 
+Default settings are \verb+\HideFrame+  and  \verb+\HideGrid+ .
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+% \begin{center}
+\ee \ShowFrame  \ShowGrid \VCCall{TwoStates}
+
+% \end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\medskip
+\footnotesize
+\begin{verbatim}
+\ShowFrame \ShowGrid \VCCall{TwoStates}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+
+\subsection{The grid scale}
+This parameter controls the value of the \PSTricks unit length.
+As values that define the size of states and the width of lines are given with fixed units
+(as \texttt{cm} or \texttt{pt}), they are not modified by this parameter.
+However, the scale of the grid on which they are put, \ie the
+distance between each other is modified by grid scale.
+This parameter is actually the first (optional) argument of \verb+\VCDraw+
+or \verb+\VCCall.+
+
+The following example is the figure of Subsection~\ref{subsec.ex1}
+with another grid scale:
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\VCDraw[.7]{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[i]{(0,0)}{A} \State[q]{(3,0)}{B} \State[t]{(6,0)}{C}
+% initial-final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeR{A}{B}{2b} \EdgeR{B}{C}{2b} \LArcL{A}{C}{b}
+\LoopN{A}{a} \LoopS{A}{b} \LoopS[.5]{B}{2a+2b} 
+\LoopN[.75]{C}{4a} \LoopS[.75]{C}{4b}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\VCDraw[.7]{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[i]{(0,0)}{A} \State[q]{(3,0)}{B} \State[t]{(6,0)}{C}
+% initial-final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeR{A}{B}{2b} \EdgeR{B}{C}{2b} \LArcL{A}{C}{b}
+\LoopN{A}{a} \LoopS{A}{b} \LoopS[.5]{B}{2a+2b} 
+\LoopN[.75]{C}{4a} \LoopS[.75]{C}{4b}
+\end{VCPicture}
+}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+We can call \verb+TwoStates+ with another grid scale.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+% \begin{center}
+\ee \ShowFrame  \ShowGrid \VCCall[1.5]{TwoStates}
+
+% \end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\medskip
+\bigskip
+\footnotesize
+\begin{verbatim}
+\ShowFrame \ShowGrid \VCCall[1.5]{TwoStates}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\section{Parametrized drawing commands}\label{sec.par}
+
+\noi
+In the sequel, the letter \texttt{X} stands for either 
+\texttt{L} or \texttt{R}.
+
+\subsection{Parametrized loops}
+One can draw loops around state with any direction.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+\medskip 
+        \footnotesize
+\verb+\LoopX[+\textsl{Pos}\verb+]{+%
+   \textsl{Direction}\verb+}{+%
+   \textsl{Name}\verb+}{+%
+   \textsl{Label}\verb+}+
+   
+\medskip 
+\verb+\CLoopX[+\textsl{Pos}\verb+]{+%
+   \textsl{Direction}\verb+}{+%
+   \textsl{Name}\verb+}{+%
+   \textsl{Label}\verb+}+
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draw a loop around the state {\sl Name} in direction {\sl Direction},
+which is an angle with respect to east, with label {\sl Label}.
+
+As the label 
+is placed outside the loop, \verb+\LoopL+ is reversed
+with respect to \verb+\LoopR+.
+The opening of the loop is~$60^o$ for the \verb+LoopX+ commands,
+$44^o$ for the \verb+CLoopX+ commands.\index{Loop}\index{CLoop}
+\end{minipage}%
+
+\medskip 
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\SmallPicture\VCDraw{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[i]{(0,0)}{A} \State[q]{(3,0)}{B} \State[t]{(6,0)}{C}
+% initial-final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeR{A}{B}{2b} \EdgeR{B}{C}{2b} \LArcL{A}{C}{b}
+\LoopR{120}{A}{a} \LoopL{-120}{A}{b} \LoopS[.5]{B}{2a+2b} 
+\LoopL[.5]{60}{C}{4a} \LoopR[.5]{-60}{C}{4b}
+%
+\end{VCPicture}%
+}
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[i]{(0,0)}{A} \State[q]{(3,0)}{B} \State[t]{(6,0)}{C}
+% initial-final
+\Initial{A} \Final{C}
+% transitions 
+\EdgeR{A}{B}{2b} \EdgeR{B}{C}{2b} \LArcL{A}{C}{b}
+\LoopR{120}{A}{a} \LoopL{-120}{A}{b} \LoopS[.5]{B}{2a+2b} 
+\LoopL[.5]{60}{C}{4a} \LoopR[.5]{-60}{C}{4b}
+%
+\end{VCPicture}%
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\subsection{Parametrized arcs}
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColoText+9em}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+% \medskip 
+        \footnotesize
+\verb+\VArcX[+\textsl{Pos}\verb+]{arcangle=+%
+   \textsl{x}\verb+,ncurv=+%
+   \textsl{v}\verb+}{+%
+   \textsl{Start}\verb+}{+%
+   \textsl{End}\verb+}{+%
+   \textsl{Label}\verb+}+
+\end{minipage}% 
+  \begin{minipage}[c]{\ColoFigu-9em}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+% \medskip
+% \bigskip
+Draw an arc from \textsl{Start} to \textsl{End} with label 
+\textsl{Label}, with a starting angle \texttt{x} and an eccentricity 
+\texttt{v}. 
+\index{VArc}
+\end{minipage}%
+
+\noi
+The starting angle is defined by the parameter \verb+arcangle=+$x$
+and is measured, going to the left if 
+\texttt{X=L}, to the right if \texttt{X=R}, from the line that goes 
+from \textsl{Start} to \textsl{End}, called the \emph{base line}.
+% with an angle defined respectively by \texttt{arcangle}.
+The parameter \verb+ncurv+ is the `eccentricity' of the arc and some 
+how measures the distance between the center of the arc and the base 
+line as one can observe on the figure below.
+\index{eccentricity (of curve)}
+
+The first (non optional) parameter of \verb+\VArcX+ contains 
+PSTrick's parameters, written with PSTrick's syntax: they are 
+separated by a comma and there must be no space inside the braces 
+that contains them.  
+All these parameters are optional, but this first parameter of 
+\verb+\VArcX+ itself is not an optional argument, which 
+means that this command must always have
+four arguments (and possibly an optional one): 
+
+\begin{minipage}[c]{6cm}
+\verb+\VArcL{arcangle=15}{A}{B}{x}+\\
+\verb+\VArcL{ncurve=1}{A}{B}{x}+\\
+\verb+\VArcL{}{A}{B}{x}+
+\end{minipage}
+\ are syntactically correct commands.
+
+\noi 
+Default value for \verb+arcangle+
+is the same as for \verb+\LArc+, whereas the default \verb+ncurv+
+value is~$1$. 
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(-3,-2)(3,6)}
+%
+\LargeState
+\State[A]{(-2,0)}{A}
+\State[B]{(2,0)}{B}
+%transitions
+\VArcR[.5]{arcangle=60,ncurv=.2}{A}{B}{0.2}
+\VArcL[.5]{arcangle=60,ncurv=.8}{A}{B}{0.8}
+\VArcL[.5]{arcangle=60,ncurv=2}{A}{B}{2}
+\VArcR[.5]{arcangle=60,ncurv=6}{A}{B}{6}
+\VArcL{arcangle=-60}{A}{B}{60}
+\VArcR{arcangle=-90}{A}{B}{90}
+\VArcR[.2]{arcangle=-120}{A}{B}{120}
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-3,-2)(3,6)}
+% states
+\LargeState
+\State[A]{(-2,0)}{A}
+\State[B]{(2,0)}{B}
+%transitions
+\VArcR[.5]{arcangle=45,ncurv=.2}{A}{B}{0.2}
+\VArcL[.5]{arcangle=45,ncurv=.8}{A}{B}{0.8}
+\VArcL[.5]{arcangle=45,ncurv=2}{A}{B}{2}
+\VArcR[.5]{arcangle=45,ncurv=6}{A}{B}{6}
+\VArcL{arcangle=-60}{A}{B}{60}
+\VArcR{arcangle=-90}{A}{B}{90}
+\VArcR[.2]{arcangle=-120}{A}{B}{120}
+%
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+
+\subsection{General curve}
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColoText+12em}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+% \medskip 
+        \footnotesize
+\verb+\VCurveX[+\textsl{Pos}\verb+]{angleA=+%
+   \textsl{x}\verb+,angleB=+%
+   \textsl{y}\verb+,ncurv=+%
+   \textsl{v}\verb+}{+%
+   \textsl{Start}\verb+}{+%
+   \textsl{End}\verb+}{+%
+   \textsl{Label}\verb+}+
+   
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColoFigu-12em}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+% \medskip
+% \bigskip
+Draw a curve from \textsl{Start} to \textsl{End} with label 
+\textsl{Label}, starting with an angle \textsl{x}, arriving with an 
+angle \textsl{y} and with an eccentricity \textsl{v}.
+\end{minipage}%
+\index{VCurve}
+\index{angleA}
+\index{angleB}
+
+\medskip
+\noi
+A (B\'ezier) curve, computed by \PSTricks with the three parameters:
+the \emph{starting angle} fixed by \verb+angleA=+\textsl{x}, the 
+ending angle fixed by \verb+angleB=+\textsl{y}, and the eccentricity 
+\verb+ncurv=+\textsl{v}.
+The two angles are measured, as trigonometric angles are, from
+the East direction and counterclockwise. 
+The syntax of these parameters is \PSTricks's and they are optional, 
+as in \verb+\VArcX+.
+Default values for \verb+angleA+
+and \verb+angleB+ are respectively $0$ and $180$; \verb+ncurv+ is fixed
+by default to $1$.
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\scalebox{\VCScale}{%
+\begin{VCPicture}{(-4,-4)(4,4)}
+%
+\State[A]{(-3,0)}{A}
+\State[B]{(0,0)}{B}
+\State[C]{(3,0)}{C}
+%transitions
+\VCurveL{angleA=90,angleB=135}{A}{B}{1}
+\VCurveR[.5]{angleA=90,angleB=135,ncurv=.5}{A}{B}{0.5}
+\VCurveL{angleA=90,angleB=135,ncurv=2}{A}{B}{2}
+\VCurveR[.6]{angleA=-80,angleB=175}{A}{B}{b}
+\VCurveR[.6]{angleA=-80,angleB=175}{A}{C}{c}
+\VCurveL{angleB=20,angleB=160}{B}{C}{d}
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-4,-4)(4,4)}
+%states
+\State[A]{(-3,0)}{A}
+\State[B]{(0,0)}{B}
+\State[C]{(3,0)}{C}
+%transitions
+\VCurveL{angleA=90,angleB=135}{A}{B}{1}
+\VCurveR[.5]{angleA=90,angleB=135,ncurv=.5}{A}{B}{0.5}
+\VCurveL{angleA=90,angleB=135,ncurv=2}{A}{B}{2}
+\VCurveR[.6]{angleA=-80,angleB=175}{A}{B}{b}
+\VCurveR[.6]{angleA=-80,angleB=175}{A}{C}{c}
+\VCurveL{angleB=20,angleB=160}{B}{C}{d}
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+
+\subsection{Transitions labelling}
+
+\paragraph{Initial and final arrows with a label} When one deals with
+tranducers, or automata with multiplicity, one may need to put
+some labels on initial or final arrows.
+
+\medskip 
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\InitialL[+\textsl{Pos}\verb+]{+%
+   \textsl{Dir}\verb+}{+\textsl{Name}\verb+}{+\textsl{Label}\verb+}+
+\\ \verb+\InitialR[+\textsl{Pos}\verb+]{+%
+   \textsl{Dir}\verb+}{+\textsl{Name}\verb+}{+\textsl{Label}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Makes the state \textsl{Name} initial and writes \textsl{Label}
+on the left or the right size of the incoming arrow.\index{Initial}\index{Final}
+\end{minipage}%
+
+\medskip 
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\FinalL[+\textsl{Pos}\verb+]{+%
+   \textsl{Dir}\verb+}{+\textsl{Name}\verb+}{+\textsl{Label}\verb+}+
+\\ \verb+\FinalR[+\textsl{Pos}\verb+]{+%
+   \textsl{Dir}\verb+}{+\textsl{Name}\verb+}{+\textsl{Label}\verb+}+
+\normalsize
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Makes the state \textsl{Name} final and writes \textsl{Label}
+on the left or the right size of the outgoinging arrow.
+\end{minipage}%
+
+
+\medskip 
+\noi 
+Here, the parameter \textsl{Dir} is not optional. Whereas, there is
+an optional parameter \textsl{Pos} that defines the position
+of the label on the arrow. Its default values is fixed to $0.1$ ({\it resp.} $0.9$)
+for initial ({\it resp.} final) arrows. The label is thus written far enough of the state.
+
+
+\paragraph{Independant labelling of transitions}
+\medskip
+There exists commands to label transitions that
+have not been labeled yet or to put a second label on them.
+These commands must directly follow the definition of
+the transition that will be labeled.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\LabelL[+%
+   \textsl{Pos}\verb+]{+%
+   \textsl{Label}\verb+}+
+   
+\medskip 
+\verb+\LabelR[+%
+   \textsl{Pos}\verb+]{+%
+   \textsl{Label}\verb+}+
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Puts a label on the previous transition. The default position of the label
+is the same as for edges.\index{Label}
+\end{minipage}%
+
+
+\medskip
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+%       \ShowFrame 
+%\SmallPicture
+\VCDraw{%
+\begin{VCPicture}{(-3,-2)(3,2)}
+\State[A]{(-2,1)}{A} \State[B]{(2,1)}{B}
+\State[C]{(-2,-1)}{C} \State[D]{(2,-1)}{D}
+\EdgeL{A}{B}{u} \LabelR{\varphi(u)=3}
+\LArcR{D}{C}{} \LabelL{v}
+\VCurveL[.3]{angleA=45,angleB=-45}{B}{D}{a}
+\LabelL[.5]{b} \LabelL[.7]{c}
+%
+\end{VCPicture}
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-3,-2)(3,2)}
+\State[A]{(-2,1)}{A} \State[B]{(2,1)}{B}
+\State[C]{(-2,-1)}{C} \State[D]{(2,-1)}{D}
+%
+\EdgeL{A}{B}{u} \LabelR{\varphi(u)=3}
+\LArcR{D}{C}{} \LabelL{v}
+\VCurveL[.3]{angleA=45,angleB=-45}{B}{D}{a}
+\LabelL[.5]{b} \LabelL[.7]{c}
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\subsection{Miscellaneous}
+
+
+\paragraph{Loops on variable states}
+Instead of using \verb+\VarLoopN+ or \verb+\VarLoopS+, one can modify
+parameters of loops to draw, for instance, many loops on variable states.
+As usual, these loops may be drawn on the south or north side of
+the states only.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\VarLoopOn+
+   
+\medskip 
+\verb+\VarLoopOff+
+
+\medskip 
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Modifies parameters in order to draw loops around variable states.
+\index{VarLoopOn}\index{VarLoopOff}
+
+\smallskip 
+
+Restore the normal style of loops.
+\end{minipage}%
+
+\noi
+Command \verb+\LoopVarN+ is equivalent to the sequence
+\verb+\LoopVarOn \LoopN \LoopVarOff+.
+
+\paragraph{Saving memory}
+
+In default mode, the call to a \verb+\State+ command 
+defines eight additional points, that allow then to draw initial and 
+final arrows in the prescribed compass direction.
+In case of large figures, with many states, this ought to lead
+to an overflow of \TeX\   memory. This is the reason why one can define
+states without any additional point.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\PlainState+
+   
+\medskip 
+\verb+\FullState+ 
+   
+\medskip 
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draw states with no additional points.\index{PlainState}
+
+\smallskip 
+
+Draw states with eight points to draw initial or final arrows.\index{FullState}
+\end{minipage}%
+
+Of course, when in \verb+\PlainState+ mode, one can define states
+with additional points.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\IFState[+\textsl{Label}\verb+]{+%
+   $(x,y)$\verb+}{+%
+   \textsl{Name}\verb+}+
+   
+\medskip 
+\verb+\IFXState[+\textsl{Label}\verb+]{+%
+   $(x,y)$\verb+}{+%
+   \textsl{Name}\verb+}+
+   
+\medskip 
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Draws a state with four points ($n$, $s$, $e$, $w$).\index{IFState}
+
+\smallskip 
+
+Draws a state with eight points ($n$, $s$, $e$, $w$, $ne$, $se$, $nw$, $sw$).
+\index{IFXState}
+\end{minipage}%
+
+In \verb+\PlainState+ mode, one should not apply an \verb+\Initial+
+or a \verb+\Final+ command to a state defined by \verb+\State+.
+Likewise, these commands can be only used for \verb+\IFState+
+with directions $n$, $s$, $e$ and $w$.
+
+Note that even when in \verb+\FullState+ mode, 
+variable states defined by \verb+\StateVar+ have
+ the same four additional points as \verb+\IFState+.
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\section{Modifying and setting the parameters}\label{sec.mod}
+
+The reason why the commands in \VCSG are simple and concise is that 
+all the parameters that control the geometry (size, angles, 
+\ldots) and the drawing (line width, line style, line color, \ldots) 
+of the states and transitions in an automaton are preset by \VCSG and 
+can be kept implicit.
+But there are two instances where a user may want to modify these 
+preset values.
+
+The first case is when one needs to tune a parameter in order to make 
+the figure more readable, or nicer. 
+Such a case has already been considered in 
+sections~\ref{subsec.edg}, \ref{subsec.arc} and~\ref{subsec.loo}, 
+where the parameter \textsl{Pos}   
+that controls the position of the label of a transition along the 
+edge has been modified with an optional argument. 
+The parameters that will be considered in this section are not 
+optional parameters of already defined commands but parameters that 
+are set with their own commands.
+
+The other case where a user will change the implicit parameters of 
+a figure or, more likely, of a set of figures, is when he (or she) 
+will be in the position to change completely the ``style'' of the 
+drawing.
+For instance, a same set of figures may be used in a paper \emph{and} in a 
+series of slides for the presentation of the paper.
+Of course, the figures have to be set at a larger scale, probably 
+in colour, and possibly with different relative sizes of the elements.
+
+We begin with the description of the options for the latter case, 
+which is by far simpler. We then explain the syntax convention taken 
+to coin the names of the many commands that control the many 
+parameters.
+Then comes the list of these parameters, for scaling first, then for 
+states, for transitions, and finally for the fine tuning of 
+some details of the drawing.
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Style files}\label{sec.sty-fil}
+
+The package \VCSG is loaded with default values that are all set up 
+in the file \verb+VCPref-default.tex+~. 
+\index{VCPref-default}%
+\index{VCPref-slides}%
+\index{VCPref-beamer}%
+\index{VCPref-mystyle}%
+The package comes with two other styles, in particular one for 
+drawing slides. 
+The normal way of using the different style files is to call the 
+wrapper \texttt{vaucanson-g} with an option:
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\usepackage[+\textsl{option}\verb+]{vaucanson-g}+
+\end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+The default option is \texttt{default}; the other possible options are
+\texttt{slides}, \texttt{beamer} and \texttt{mystyle}.
+%\footnotemark 
+\end{minipage}%
+% \footnotetext{There exists also, for downward compatibility, a 
+% \texttt{beamer} option which calls indeed the same file as 
+% \texttt{slides}.}%
+% \stepcounter{footnote}%
+% \medskip
+% \smallskip 
+
+Although it is not the normal usage,
+it is also possible to change style in the course of the text by 
+loading a style file with an \verb+\input+ command. In this
+case, it is recommended to reset all parameters by calling
+\verb+VCPref-default.tex+.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur+6em}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\hspace*{1cm}
+\begin{center}
+\VCCall{TwoStates}%
+\input{VCPref-slides}%
+\hspace*{-1cm}%
+\VCCall{TwoStates}\\
+\vspace*{.5cm}%
+\input{VCPref-default}%
+\input{VCPref-beamer}%
+% \hspace*{1cm}%
+\VCCall{TwoStates}\\
+\vspace*{.5cm}%
+\input{VCPref-default}
+\input{VCPref-mystyle}
+\VCCall{TwoStates}
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}%
+%%%%
+\begin{minipage}[c]{\ColSource-6em}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+% \vspace*{-1cm}
+\footnotesize
+\begin{verbatim}
+\usepackage{vaucanson-g}
+...
+\VCCall{TwoStates}
+...
+
+
+\usepackage[slides]{vaucanson-g}
+...
+\VCCall{TwoStates}
+...
+
+\usepackage[beamer]{vaucanson-g}
+...
+\VCCall{TwoStates}
+...
+
+...
+\input{VCPref-default} % gets back to default values
+\input{VCPref-mystyle}
+\VCCall{TwoStates}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\medskip 
+
+\noi
+By editing the files \texttt{VCPref-mystyle}, \texttt{VCPref-beamer} 
+or \texttt{VCPref-slides}, and giving the  
+parameters the values he (or she) thinks more appropriate, a user may 
+easily build his (or her) own style for drawing automata. 
+Modifying directly \texttt{VCPref-default}, although possible, is not 
+necessarily a good idea.
+By cut, editing and paste, it is not difficult create many style 
+files, and even, with an easy modification of the wrapper 
+itself to make them possible options.
+The content of these style files are described in the following 
+subsections. \texttt{VCPref-slides}, \texttt{VCPref-beamer}
+and \texttt{VCPref-mystyle} are 
+given at Appendix~B.
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Syntax of parameter settings}
+\label{sec.syn}
+
+The set of values of all parameters defines a \emph{style} of figures.
+Most of parameters, \eg \verb+\StateLineColor+ which defines the 
+color of the line  
+that delimits a state, may be given a \emph{temporary} value, within a 
+figure, without changing the style.
+These parameters are dealt with by means of 3 different commands:
+
+\noi 
+% \hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\Chg+\textsl{Param}\verb+{+ \textsl{Val} \verb+}+
+   \end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Gives the new value \textsl{Val} to \verb+\+\emph{Param}.
+\end{minipage}%
+
+% \smallskip
+\noi 
+% \hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\Rst+\textsl{Param} 
+   \end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Restores the style value in \verb+\+\emph{Param}.
+\end{minipage}%
+
+% \smallskip
+\noi 
+% \hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\Set+\textsl{Param}\verb+{+ \textsl{Val} \verb+}+
+   \end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Sets the style value for \verb+\+\emph{Param} to \textsl{Val} .
+\end{minipage}%
+
+\medskip
+\noi 
+% In order to be effective, the command \verb+\Set+\textsl{Param} has to be 
+% called \emph{outside} a picture.
+The command \verb+\Set+\textsl{Param} can be 
+called \emph{outside} a \verb+\VCPicture+ environment, in which case 
+it will be effective in all subsequent figures, until a new setting 
+of the same parameter.
+Its natural place, if it is considered as a modification of the style,
+is in the preamble, after the call to the package \VCSG.
+If the command \verb+\Set+\textsl{Param} is
+called \emph{inside} a \verb+\VCPicture+ environment, its effect will 
+be restricted to that figure.
+
+Such parameters will be called \emph{adjustable parameters} in the 
+sequel.
+
+Note that in the case where \verb+\+\textsl{Param} is a value
+(a \emph{length} or a \emph{scale}), the 
+value of \textsl{Val} in \verb+\Chg+\textsl{Param}\verb+{+\textsl{Val}\verb+}+ is a 
+\emph{coefficient} which is applied to the style value of \verb+\+\textsl{Param}
+defined with \verb+\Set+\textsl{Param}\verb+{+\textsl{Val}\verb+}+.
+Therefore, in this case, \verb+\Rst+\textsl{Param} is equivalent to 
+\verb+\Chg+\textsl{Param}\verb+{1}+. 
+
+The other parameters, as those that define the ``dimmed'' style,
+are called \emph{preset parameters}.
+%Belong to that class those parameters that can be ``adjusted'' by means 
+%of an optionnal argument, \eg \verb+\EdgeLabelPosit+ which gives 
+%the implicit position of the label on an edge.
+
+There is finally a class of parameters that fall in between the 
+adjustable and the preset ones, those for which several values are 
+``preset'' but that can be given other values. 
+%For instance, the scale of the 
+%picture  is fixed by the parameter \verb+\VCScale+: it can given 
+%the preset values \verb+\NormalScale+, \verb+\SmallScale+ or 
+%\verb+\LargeScale+ 
+%by means of the command \verb+\NormalPicture+, \verb+\SmallPicture+ 
+%or \verb+\LargePicture+ respectively, or given any chosen value 
+%\textsl{Val} by the command \verb+\FixVScale{+\textsl{Val}\verb+}+ .
+%
+These parameters will be called \emph{multivalued preset parameters}.
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Scale parameter {\rm(Multivalued preset parameter)}}\label{sec.sca-par}
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\FixVCScale{+\textsl{Scale}\verb+}+
+   \end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Sets \verb+\VCScale+ to \textsl{Scale}.\index{FixVCScale}
+\end{minipage}%
+
+\medskip 
+\noi 
+The commands 
+\verb+\MediumPicture+, \verb+\SmallPicture+, \verb+\TinyPicture+ \ 
+and \verb+\LargePicture+ set  \verb+\VCScale+ to the values
+\verb+\MediumScale+, \verb+\SmallScale+, \verb+\TinyScale+
+and \verb+\LargeScale+ respectively.
+Their values are
+\begin{center}
+\begin{tabular}{|c|c|c|c|}
+\verb+\TinyScale+ & \verb+\SmallScale+ & \verb+\MediumScale+ & 
+\verb+\LargeScale+\\ 
+\hline
+$0.42$ & $0.5$ &  $0.6$ & $0.85$ \\
+\hline
+\end{tabular}
+\end{center}
+%\texttt{0.85} respectively and can be modified with a \verb+\renewcommand+.
+
+These preset values can be modified by a \verb+\renewcommand+.
+
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{State parameters}\label{sec.sta-par}
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{State diameter {\rm(Multivalued preset parameter)}}
+~
+This parameter controls, \via the commands 
+\verb+\MediumState+, \verb+\SmallState+ 
+or \verb+\LargeState+ the value of a number of other preset parameters.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColoText}
+        \par\vspace*{0mm}% pour l'alignement sur le haut
+        \footnotesize
+\verb+\FixStateDiameter{+\textsl{Diam}\verb+}+
+   \end{minipage}% 
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColoFigu}%
+% \setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+Sets the state diameter to \textsl{Diam} (\textsl{Diam} is 
+a length) until the next call to a \verb+\ZState+ command, or to the 
+next figure if called inside a \verb+\VCPicture+.\index{FixStateDiameter}
+\end{minipage}%
+
+\smallskip
+%\noi 
+%\hspace*{-\jsIndent}
+%\begin{minipage}[t]{\ColoText}
+%       \par\vspace*{0mm}% pour l'alignement sur le haut
+%       \footnotesize
+%\verb+\setlength{\ZStateDiameter}{+\textsl{ZDiam}\verb+}+
+%   \end{minipage}% 
+%\hspace*{1.2em}% 
+%\begin{minipage}[t]{\ColoFigu}%
+%% \setlength{\parindent}{\parindenttemp}%
+%\par\vspace*{0mm}% pour l'alignement sur le haut
+Preset diameter sizes are:
+\begin{center}
+\begin{tabular}{|c|c|c|c|}
+\verb+\VerySmallState+ & \verb+\SmallState+ & \verb+\MediumState+ & 
+\verb+\LargeState+\\ 
+\hline
+$0.3$cm & $0.6$cm & $0.9$cm &  $1.2$cm\\
+\hline
+\end{tabular}
+\end{center}
+
+These values can be modified by a \verb+\renewcommand+. However, as
+commands that call these parameters deal also with other parameters
+as the eccentricity of loops or the size of initial and final arrows,
+changing these values without modifying the other ones can lead to
+an ungainly result.
+
+The shape of a normalized automaton can be drawn in the following way:
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+%\SmallPicture
+\VCDraw{%
+\begin{VCPicture}{(-5,-3)(5,3)}
+\FixStateDiameter{5cm} \ChgStateLabelScale{3}
+\State[{\cal A}]{(0,0)}{A}
+\MediumState \RstStateLabelScale
+\State[i]{(-4,0)}{I} \State[t]{(4,0)}{T}
+\VSState{(-1,-1)}{P1} \VSState{(-1,1)}{P2} \VSState{(-1.4,0)}{P3} 
+\VSState{(1,-1)}{Q1} \VSState{(1,1)}{Q2} \VSState{(1.4,0)}{Q3}
+\Initial{I} \Final{T}
+%
+\EdgeL{I}{P1}{} \EdgeL{I}{P2}{} \EdgeL{I}{P3}{}
+\EdgeL{Q1}{T}{} \EdgeL{Q2}{T}{} \EdgeL{Q3}{T}{}
+\end{VCPicture}
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-5,-3)(5,3)}
+\FixStateDiameter{5cm} \ChgStateLabelScale{3}
+\State[{\cal A}]{(0,0)}{A}
+\MediumState \RstStateLabelScale
+\State[i]{(-4,0)}{I} \State[t]{(4,0)}{T}
+\VSState{(-1,-1)}{P1} \VSState{(1,-1)}{Q1}
+\VSState{(-1,1)}{P2} \VSState{(1,1)}{Q2 ]
+\VSState{(-1.4,0)}{P3} \VSState{(1.4,0)}{Q3}
+\Initial{I} \Final{T}
+%
+\EdgeL{I}{P1}{} \EdgeL{I}{P2}{} \EdgeL{I}{P3}{}
+\EdgeL{Q1}{T}{} \EdgeL{Q2}{T}{} \EdgeL{Q3}{T}{}
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{State adjustable parameters}
+~ Each following parameter can be modified by the command
+\verb+\Chg+\textit{Parameter}. The style value can be restored by 
+\verb+\Rst+\textit{Parameter} 
+and one can set the style value with \verb+\Set+\textit{Parameter}.
+
+\begin{center}
+\begin{tabular}{c|c|c|}
+Parameter & Default value & Possible values\\
+\hline
+\textit{StateLineStyle} & \texttt{solid} & \texttt{dashed}, \texttt{dotted}, \texttt{none}\\
+\hline
+\textit{StateLineWidth} & \texttt{1.8pt} &\\
+\hline
+\textit{StateLineColor} & \texttt{black} & \texttt{red}, \texttt{lightgray}, \ldots\\
+\hline
+\textit{StateLabelColor} & \texttt{black} & \texttt{blue}, \texttt{Salmon}, \ldots\\
+\hline
+\textit{StateLabelScale} & \texttt{1.7} &\\
+\hline
+\textit{StateFillStatus} & \texttt{solid} & \texttt{vlines}, \texttt{hlines}, \texttt{crosshatch}, \texttt{none}\\
+\hline
+\textit{StateFillColor} & \texttt{white} & \texttt{green}, \texttt{Purple}, \ldots\\
+\hline
+\end{tabular}
+\end{center}
+\index{StateLineStyle}\index{StateLineWidth}\index{StateLineColor}
+\index{StateLabelColor}\index{StateLabelScale}\index{StateFillStatus}
+\index{StateFillColor}
+
+As it has been previously noticed, the argument of \verb+\ChgStateLineWidth+
+is not a \texttt{length} but a coefficient applied to the style width.
+For instance, with the default value of \textit{StateLineWidth}, 
+after \verb+\ChgStateLineWidth{2}+
+edges will be drawn with a \texttt{3.6pt} width.
+
+When pictures are drawn to scale \verb+\VCScale+ that is set to \texttt{0.6},
+printing state labels with scale \texttt{1.7} makes them to be as large
+as characters of the text. As for line width, \verb+\ChgStateLabelScale{.5}+
+sets the label scale to \texttt{0.85} that make then twice smaller
+than characters of the text (because of \verb+\VCScale+).
+
+\clearpage 
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{State preset parameters}
+~
+They deal with the definition of ``dimmed'' states.
+%To be modified with a \verb+\renewcommand+ .
+
+\begin{center}
+\begin{tabular}{c|c|c|}
+Parameter & Default value\\
+\hline
+\textit{DimStateLineStyle} & \texttt{solid} \\
+\hline
+\textit{DimStateLineColor} & \texttt{gray} \\
+\hline
+\textit{DimStateLineCoef} & \texttt{1} \\
+\hline
+\textit{DimStateLabelColor} & \texttt{gray}\\
+\hline
+\textit{DimStateFillColor} & \texttt{white} \\
+\hline
+\end{tabular}
+\end{center}
+\index{DimStateLineStyle}\index{DimStateLineColor}\index{DimStateLineCoef}
+\index{DimStateLabelColor}\index{DimStateFillColor}
+
+\textit{DimStateLineCoef} is a coefficient that is applied to
+\textit{StateLineWidth} in drawing dimmed states. It might be larger
+than~$1$ to compensate optical effects when 
+\textit{DimStateLineStyle} is \texttt{dashed} or \texttt{dotted}.
+
+The style of dimmed states can be fixed by the command
+\\\verb+\FixDimState{+\textit{LineStyle}\verb+}{+\textit{LineColor}\verb+}{+\textit{LineCoef}%
+\verb+}{+\textit{LabelColor}\verb+}{+\textit{FillColor}\verb+}+.
+\index{FixDimState}
+\medskip
+
+In mode \textsl{StateLineDouble} or when one uses the command \verb+\FinalState+,
+two parameters give the width of each of both lines
+and the distance between them. These values are coefficients that are
+applied to \textsl{StateLineWidth}.
+
+\begin{center}
+\begin{tabular}{c|c|c|}
+Parameter & Default value\\
+\hline
+\textsl{StateLineDblCoef} & \texttt{0.6} \\
+\hline
+\textsl{StateLineDblSep} & \texttt{0.4} \\
+\hline
+\end{tabular}
+\end{center}
+\index{StateLineDblCoef}\index{StateLineDblSep}
+
+These values can be fixed by the command 
+\verb+\FixStateLineDouble{+\textsl{Coef}\verb+}{+\textsl{Sep}\texttt{\}}.
+\index{FixStateLineDouble}
+
+%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Transition parameters}\label{sec.tra-par}
+\paragraph{Edge adjustable parameters}
+~ Each following parameter can be modified by the command
+\verb+\Chg+\textit{Parameter}. The style value can be restored by \verb+\Rst+\textit{Parameter}
+and one can set the style value with \verb+\Set+\textit{Parameter}.
+
+\begin{center}
+\begin{tabular}{c|c|c|}
+Parameter & Default value & Possible values\\
+\hline
+\textit{EdgeLineStyle} & \texttt{solid} & \texttt{dashed}, \texttt{dotted}, \texttt{none}\\
+\hline
+\textit{EdgeLineWidth} & \texttt{1pt} &\\
+\hline
+\textit{EdgeLineColor} & \texttt{black} & many colours\\
+\hline
+\textit{EdgeLineDblStatus} & \texttt{false} &\texttt{true}\\
+\hline
+\textit{EdgeNodeSep} & \texttt{0pt} & \\
+\hline
+\textit{EdgeLabelColor} & \texttt{black} & many colours\\
+\hline
+\textit{EdgeLabelScale} & \texttt{1.7} &\\
+\hline
+\textit{EdgeLabelSep} & \texttt{3.5pt} & \\
+\hline
+\end{tabular}
+\end{center}
+\index{EdgeLineStyle}\index{EdgeLineWidth}\index{EdgeLineColor}
+\index{EdgeLabelColor}\index{EdgeLabelScale}\index{EdgeLineDblStatus}
+\index{EdgeLabelSep}\index{EdgeNodeSep}
+
+As for states, the argument of \verb+\ChgEdgeLineWidth+ is
+a coefficient applied to the style line width.
+
+The parameter \textit{EdgeNodeSep} defines a distance between the 
+begining, and the end, of a transition and the state it starts from 
+and arrives to. The default value is \texttt{0pt}, that is, no 
+distance at all; but it may be the case, especially when there is no 
+line around the state that one may want to increase the distance 
+between the transition and the label of the state.
+
+The parameter \textit{EdgeLabelSep} controls the distance between the 
+box that contains the label of the transition (built by \LaTeX) and 
+the transition.
+
+
+\paragraph{Edge preset parameters}
+~
+A first class of preset parameters deals with the definition of ``dimmed'' edges.
+
+\begin{center}
+\begin{tabular}{c|c|c|}
+Parameter & Default value\\
+\hline
+\textit{DimEdgeLineStyle} & \texttt{solid} \\
+\hline
+\textit{DimEdgeLineColor} & \texttt{gray} \\
+\hline
+\textit{DimEdgeLineCoef} & \texttt{1.2} \\
+\hline
+\textit{DimEdgeLabelColor} & \texttt{gray}\\
+\hline
+\end{tabular}
+\end{center}
+\index{DimEdgeLineStyle}\index{DimEdgeLineColor}\index{DimEdgeLineCoef}\index{DimEdgeLabelColor}
+
+The style of dimmed edges can be fixed by the command
+\\\verb+\FixDimEdge{+\textit{LineStyle}\verb+}{+\textit{LineColor}\verb+}{+\textit{LineCoef}%
+\verb+}{+\textit{LabelColor}\verb+}+.
+\index{FixDimEdge}
+\medskip
+
+The style of the border of edges (in mode \verb+\EdgeBorder+),
+is defined by two parameters~:
+\begin{center}
+\begin{tabular}{c|c|c|}
+Parameter & Default value\\
+\hline
+\textsl{EdgeLineBorderCoef} & \texttt{2} \\
+\hline
+\textsl{EdgeLineBorderColor} & \texttt{white} \\
+\hline
+\end{tabular}
+\end{center}
+\index{EdgeLineBorderCoef}\index{EdgeLineBorderColor}
+
+\verb+\EdgeLineBorderCoef+ is a coefficient applied to \verb+\EdgeLineWidth+,
+that gives the width of the border.\\The style of borders of edges can
+be fixed by the command \verb+\FixEdgeBorder{+\textsl{Coef}\verb+}{+\textsl{Color}\texttt{\}}.
+\index{FixEdgeBorder}
+\medskip
+
+The width of the double line of (in mode \textsl{EdgeLineDouble}),
+is defined by two parameters, that give the width of each of both lines
+and the distance between them. These values are coefficients that are
+applied to \textsl{EdgeLineWidth}.
+
+\begin{center}
+\begin{tabular}{c|c|c|}
+Parameter & Default value\\
+\hline
+\textsl{EdgeLineDblCoef} & \texttt{0.5} \\
+\hline
+\textsl{EdgeLineDblSep} & \texttt{0.6} \\
+\hline
+\end{tabular}
+\end{center}
+\index{EdgeLineDblCoef}\index{EdgeLineDblSep}
+
+These values can be fixed by the command \verb+\FixEdgeLineDouble{+\textsl{Coef}\verb+}{+\textsl{Sep}\texttt{\}}.
+\index{FixEdgeLineDouble}
+
+\subsection{Advanced parameters}
+These parameters can be changed by using the usual command \verb+\renewcommand+
+(or \verb+\setlength+, when the parameter is a length).
+
+As it has already be mentionned, the preset commands that set
+the diameter of states control
+parameters for drawing edges (the length of initial and final arrows or
+the curvature of loops). Their values are:
+\begin{center}
+\begin{tabular}{c|c|c|c|}
+\textit{X} & \verb+\ArrowOn+\textit{X} & \verb+\LoopOn+\textit{X} & \verb+\CLoopOn+\textit{X}\\
+\hline
+\verb+LargeState+ & \texttt{1.3} & \texttt{5.8} & \texttt{6}\\
+\hline
+\verb+MediumState+ & \texttt{1.5} & \texttt{5.8} & \texttt{8}\\
+\hline
+\verb+SmallState+ & \texttt{1.7} & \texttt{5.8} & \texttt{12}\\
+\hline
+\verb+VariableState+ &  & \texttt{5.1} & \texttt{5.2}\\
+\hline
+\verb+VerySmallState+ & \texttt{5} & \texttt{15} & \\
+\hline
+\end{tabular}
+\end{center}
+\index{ArrowOnState}\index{LoopOnState}\index{CloopOnState}
+
+\textit{ArrowOnX} is the coefficient that is applied to the radius of the state
+to obtain the length of initial or final arrows. \textit{LoopOnX} and 
+\textit{CLoopOnX}
+is the eccentricity of loops and closed loops respectively.
+
+Another parameter determines whether the dimension of states
+refer to the middle, the inner or the outer side of the boundary.
+There exist one parameter for classical states and one
+for states with double line:
+\begin{center}
+\begin{tabular}{c|c|}
+Parameter & Default value \\
+\hline
+\verb+\StateDimen+ & \texttt{outer} \\
+\hline
+\verb+\StateDblDimen+ & \texttt{middle} \\
+\hline
+\end{tabular}
+\end{center}\index{StateDimen}{\index{StateDblDimen}
+The possible values are \texttt{inner}, \texttt{outer} or \texttt{middle}.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\ShowGrid
+\VCDraw{%
+\begin{VCPicture}{(-1,-1)(6,2)}
+\ChgStateLineWidth{5}
+\FixStateDiameter{1cm}
+\renewcommand{\StateDimen}{inner}
+\State{(0.5,0.5)}{I}
+\renewcommand{\StateDimen}{middle}
+\State{(2.5,0.5)}{M}
+\renewcommand{\StateDimen}{outer}
+\State{(4.5,0.5)}{O}
+\end{VCPicture}}
+\HideGrid
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\ShowGrid
+\VCDraw{%
+\begin{VCPicture}{(-1,-1)(6,2)}
+\ChgStateLineWidth{5}
+\FixStateDiameter{1cm}
+\renewcommand{\StateDimen}{inner}
+\State{(0.5,0.5)}{I}
+\renewcommand{\StateDimen}{middle}
+\State{(2.5,0.5)}{M}
+\renewcommand{\StateDimen}{outer}
+\State{(4.5,0.5)}{O}
+\end{VCPicture}}
+\HideGrid
+\end{verbatim}
+\end{minipage}% 
+
+%%%%%%%%%%%%%%%%%%%%%%
+\paragraph{Transition adjustable geometric parameters}
+~
+All these parameters are adjustable. That means there
+exist commands as \verb+\Set+\textsl{Parameter}, \verb+\Chg+\textsl{Parameter}
+and \verb+\Rst+\textsl{Parameter}.
+
+Arcs between states are characterized by some adjustable parameters:
+
+\begin{center}
+\begin{tabular}{c|c|c|c|}
+\textsl{X} & \textsl{XAngle} & \textsl{XCurvature} & \textsl{XOffset} \\
+\hline
+\textsl{Arc} & \texttt{15} & \texttt{0.8} & \texttt{1}pt\\
+\hline
+\textsl{LArc} & \texttt{30} & \texttt{0.8} & =\textsl{ArcOffset}\\
+\hline
+\end{tabular}
+\end{center}
+\index{ArcAngle}\index{ArcCurvature}\index{ArcOffset}
+
+\medskip
+Except the curvature that depends on the size of states,
+parameters that define loop,
+the degree of opening and the offset, are adjustable parameters.
+
+\begin{center}
+\begin{tabular}{c|c|c|}
+\textsl{X} & \textsl{XAngle} (degrees) & \textsl{XOffset} \\
+\hline
+\textsl{Loop} & \texttt{30} & \texttt{0}pt\\
+\hline
+\textsl{CLoop} & \texttt{22} & =\textsl{LoopOffset}\\
+\hline
+\textsl{LoopVar} & \texttt{28} & \texttt{0.7}pt\\
+\hline
+\end{tabular}
+\index{LoopAngle}\index{LoopOffset}
+\VCDraw{%
+\begin{VCPicture}{(-3,-3)(3,3)}
+\State{(0,0)}{A}
+\Point{(0,0)}{B}
+\Point{(-1,1.73)}{C}
+\Point{(1,1.73)}{D}
+\Point{(1,-1.73)}{E}
+\Point{(1.09,-1.68)}{F}
+\Point{(-.42,.92)}{G}
+\Point{(1.86,-1.23)}{H}
+\Point{(0.14,-2.23)}{I}
+\ChgEdgeLineWidth{.5}
+\EdgeR{H}{F}{} \EdgeR{I}{E}{}
+\ChgEdgeArrowStyle{<->}
+\ArcL[.5]{C}{D}{2\times\text{Angle}}
+\ChgEdgeArrowStyle{-}
+\EdgeR{E}{F}{\text{Offset}}
+\DimEdge
+\ChgEdgeLineWidth{.1}
+\ChgEdgeLineStyle{dashed}
+\EdgeL{E}{C}{} \EdgeL{B}{D}{} \EdgeL{F}{G}{}
+\RstEdge
+\LoopXL{.5}{90}{A}{30}{.1cm}{15}{}
+%\LoopXL{.5}{A}{90}{30}{0}{15}{}
+\end{VCPicture}%
+}
+\end{center}
+
+\medskip
+\noi
+Likewise, one can modify the style of arrows, that are defined by 
+three adjustable parameters~:
+
+
+\begin{center}
+\begin{tabular}{c|c|}
+Parameter & Default value \\
+\hline
+\textsl{EdgeArrowStyle} & \texttt{->} \\
+\hline
+\textsl{EdgeArrowWidth} & \texttt{5}pt \\
+\hline
+\textsl{EdgeArrowLengthCoef} & \texttt{1.4}  \\
+\hline
+\textsl{EdgeArrowInsetCoef} & \texttt{0.1}  \\
+\hline
+\end{tabular}
+\VCDraw{%
+\begin{VCPicture}{(-4,-2)(4,2)}
+\pspolygon*(-1,-1)(0,1)(1,-1)(0,-.3)
+\ChgEdgeArrowStyle{<->}
+\Point{(-1.5,-1)}{A}
+\Point{(-1.5,1)}{Ah}
+\Point{(1.5,-1)}{B}
+\Point{(1.5,-.3)}{Bh}
+\Point{(-1,-1.5)}{C}
+\Point{(1,-1.5)}{Ch}
+\EdgeL{A}{Ah}{\text{Length}}
+\EdgeR{B}{Bh}{\text{Inset}}
+\EdgeR{C}{Ch}{\text{Width}}
+\end{VCPicture}
+}
+\end{center}
+\index{EdgeArrowStyle}\index{EdgeArrowWidth}%
+\index{EdgeArrowLengthCoef}\index{EdgeArrowInsetCoef}
+
+The {\em length} and the {\em inset} of arrows are given by 
+coefficients that are applied to the {\em width}. 
+There exists some other (non adjustable) parameters to define arrows 
+in special cases: 
+\verb+\EdgeArrowRevStyle+ is equal to \texttt{<-}, to draw transition 
+in reverse mode; for edges with double lines, the size of 
+arrows is a little bit more large. 
+It is defined by \verb+\EdgeDblArrowWidth+
+and \verb+\EdgeDblArrowLengthCoef+ that are respectively equal to 
+\texttt{5.5}pt and \texttt{1.7}. 
+
+\medskip
+\noi
+Zigzag edges are characterized by some adjustable parameters:
+
+\begin{center}
+\begin{tabular}{c|c|}
+Parameter & Default value \\
+\hline
+\textsl{ZZSize} & \texttt{0.9}cm \\
+\hline
+\textsl{ZZLineWidth} & \texttt{1.7}  \\
+\hline
+\end{tabular}
+\end{center}
+\index{ZZSize}\index{ZZlineWidth}
+
+\textsl{ZZSize} is the apparent diameter of the zigzag and \textsl{ZZLineWidth}
+is a coefficient that is applied to \textsl{EdgeLineWidth} and gives
+the width of the line.
+
+\paragraph{Transition preset parameters}
+~
+The default position of labels on transitions depends on the type of transition.
+For instance, on edges, this position is given by the variable \verb+\EdgeLabelPosit+
+that is equal to $0.45$. The first column of the following array gives these values
+for every transition.
+
+\begin{center}
+\begin{tabular}{c|c|c|}
+\textsl{X} & \verb+\+\textsl{X}\texttt{LabelPosit} & \verb+\+\textsl{X}\texttt{LabelRevPosit} \\
+\hline
+\texttt{Edge} & \texttt{.45} & \texttt{.55}\\
+\hline
+\texttt{Arc} & \texttt{.4} & \texttt{.6}\\
+\hline
+\texttt{LArc} & \texttt{.4} & \texttt{.6}\\
+\hline
+\texttt{Loop} & \texttt{.25} & \texttt{.75}\\
+\hline
+\texttt{CLoop} & \texttt{.25} & \texttt{.75}\\
+\hline
+\texttt{Init} & \texttt{.1} & \texttt{.9}\\
+\hline
+\texttt{Final} & \texttt{.9} & \texttt{.1}\\
+\hline
+\end{tabular}
+\end{center}
+
+When the reverse mode is on, the position of label is given by
+variables that correspond to the second column, as \verb+\EdgeLabelRevPosit+ for instance.
+For the same type of transition, the sum of both variables
+that defined position for straight and reverse arrows should
+be equal to $1$ (if one wants to keep the same appearance when using
+the \verb+ReverseArrow+ command).
+
+These parameters can be modified with a \verb+\renewcommand+.
+
+%%%%%%%%%%%%%%%%%%%%%%
+\section{Using ``plain'' \PSTricks commands}
+\label{sec.pla}
+\VCSG is a set of macros based on \PSTricks. It is therefore
+fully compatible with \PSTricks instructions.
+Actually, the \verb+VCPicture+ environment is a specialization
+of the \verb+pspicture+ environment; more, every state in \VCSG
+is a \PSTricks node and every transition (loop, edge, arc)
+is a node connection.
+
+The following example shows how \VCSG commands can be mixed
+with plain \PSTricks commands. For further explanation on
+\PSTricks, we refer to~\cite{Girou94,GRM97,GRMRV07,Voss07}.
+
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[t]{\ColFigur}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\bigskip 
+\begin{center}
+\scalebox{\VCScale}{%
+%
+\begin{VCPicture}{(-7.5,-1)(3,2)}
+\rput(-5,0){\rnode{X}{\psframebox{$\bigoplus$}}}
+\rput(.5,0){\rnode{Y}{\psframebox{$\bigoplus$}}}
+\State[1]{(-3.5,0)}{A}
+\State[0]{(-1,0)}{B} 
+\State[0]{(2,0)}{C}
+\Point{(-7,0)}{S}
+\EdgeL{S}{X}{0011}
+\EdgeL{X}{A}{}\EdgeL{A}{B}{}\EdgeL{B}{Y}{}\EdgeL{Y}{C}{}
+\ncangles[angleB=90, armB=1cm]{C}{X}
+\ncangles[angleB=90, armB=1cm]{C}{Y}
+\end{VCPicture}}
+\\The shif register for $1+x^2+x^3$
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[t]{\ColSource}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\begin{VCPicture}{(-7.5,-1)(3,2)}
+\rput(-5,0){\rnode{X}{\psframebox{$\bigoplus$}}}% pstricks node
+\rput(.5,0){\rnode{Y}{\psframebox{$\bigoplus$}}}% pstricks node
+\State[1]{(-3.5,0)}{A} \State[0]{(-1,0)}{B} \State[0]{(2,0)}{C}
+\Point{(-7,0)}{S}
+\EdgeL{S}{X}{0011}
+\EdgeL{X}{A}{} \EdgeL{A}{B}{} \EdgeL{B}{Y}{} \EdgeL{Y}{C}{}
+\ncangles[angleB=90, armB=1cm]{C}{X}% pstricks connection
+\ncangles[angleB=90, armB=1cm]{C}{Y}% pstricks connection
+\end{VCPicture}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+%
+
+% %%%%%%%%%%%%%%%%%%%ù
+% \section{Using Beamer document class}
+% \VCSG can be used with Beamer document class to design slides.
+% The document class
+% should be called with {\tt xcolor=pst,dvips} options:
+% 
+% \verb+\documentclass[xcolor=pst,dvips]{beamer}+.
+
+\clearpage
+
+% \vspace*{5cm}
+
+\appendix
+
+
+\begin{center}
+    {\Large \textsc{appendix}}
+\end{center}
+
+\section{Version history}
+
+A first version of the package, which would be numbered 0.1, was 
+called \emph{Vaucanson} and used by the authors in their papers 
+between 2000 and 2003.
+But, at the same time, the authors were involved, in cooperation with
+the LRDE at EPITA, in the design of a \texttt{C++} platform for 
+programming automata, for which it was decided that there would be no 
+better name than Vaucanson as well.
+We thus turned the name of the package for drawing automata to \VCSG.
+% The name of every \textbf{file} of the library has been changed accordingly.
+% No name of \textbf{command} in the package has been changed.
+
+Version 0.2 was issued in May 2003 and made available on the web 
+together with this user's manual first version.
+A series of bug corrections and slight improvements made us switch at 
+some point to version 0.3.
+
+Just before sending the package to CTAN, we undertook a full review of 
+the code and updated the manual accordingly. 
+We call it version 0.4.
+It is the last release before a completely new version of the 
+package, with many more options , which is currently under work.
+
+
+\clearpage 
+
+\section{Style files}
+
+\subsection{\texttt{slides} style}
+
+
+{\footnotesize
+\begin{verbatim}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `Vaucanson-G'  version 0.4
+%%
+%% This is file `VCPref-slides'.
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scales  --- slides settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LargeScale}{1.5}
+\renewcommand{\MediumScale}{1.16}
+\renewcommand{\SmallScale}{0.92}
+\renewcommand{\TinyScale}{0.75}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% State aspect
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetStateLineColor{blue}
+\SetStateLineWidth{2pt}
+\SetStateFillColor{Cyan}
+\SetStateLabelColor{Sepia}
+\FixDimState{solid}{YellowOrange}{1}{YellowOrange}{white}
+%%%%%%%%%%%%%%
+% Edge aspect
+%%%%%%%%%%%%%%
+\SetEdgeLineColor{Mahogany}
+\SetEdgeLineWidth{1.2pt}
+\SetEdgeLabelColor{OliveGreen}
+%%% Dimmed edges
+\FixDimEdge{dashed}{1.2}{Apricot}{Apricot}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\end{verbatim}}
+\newpage 
+
+\subsection{\texttt{beamer} style}
+
+
+{\footnotesize
+\begin{verbatim}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `Vaucanson-G'  version 0.4
+%%
+%% This is file `VCPref-slides'.
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scales  --- slides settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LargeScale}{0.85}       
+\renewcommand{\MediumScale}{0.6}       
+\renewcommand{\SmallScale}{0.4}		
+\renewcommand{\TinyScale}{0.30}		
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% State aspect
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetStateLineColor{blue}
+\SetStateLineWidth{2pt}
+\SetStateFillColor{Cyan}
+\SetStateLabelColor{Sepia}
+\FixDimState{solid}{YellowOrange}{1}{YellowOrange}{white}
+%%%%%%%%%%%%%%
+% Edge aspect
+%%%%%%%%%%%%%%
+\SetEdgeLineColor{Mahogany}
+\SetEdgeLineWidth{1.2pt}
+\SetEdgeLabelColor{OliveGreen}
+%%% Dimmed edges
+\FixDimEdge{dashed}{1.2}{Apricot}{Apricot}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\end{verbatim}}
+\newpage 
+
+\subsection{\texttt{mystyle} style}
+
+This file is given only on the purpose that it can be edited by the 
+user and called by the option \texttt{mystyle} of the wrapper(and this is the 
+reason why the \emph{name} \verb+VCPref-mystyle.tex+ 
+of this file should not be changed).
+
+The actual values given in this file as an example provide a style 
+which mimics the way automata are drawn with GasTeX \cite{Gast} as 
+can be witnessed below.
+
+\noi 
+\hspace*{-\jsIndent}
+\begin{minipage}[c]{\ColFigur+.5cm}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\begin{center}
+\input{VCPref-mystyle}
+\VCDraw{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B}
+\FinalState[C]{(4,2)}{C} \State[D]{(6,0)}{D}
+%initial-final
+\Initial{A} \Final[s]{B}
+% transitions 
+\ArcR{A}{B}{a} \ArcL{A}{C}{b}
+\LArcR{B}{D}{c} \LArcL{C}{D}{d}
+\ArcL{A}{B}{a'} \EdgeLineDouble \EdgeR{A}{C}{b'}
+\EdgeLineSimple \EdgeL{B}{D}{c'} \LArcR{C}{D}{d'}
+%
+\end{VCPicture}%
+}%
+\end{center}
+\end{minipage}%
+\hspace*{1.2em}% 
+\begin{minipage}[c]{\ColSource-.5cm}
+\setlength{\parindent}{\parindenttemp}%
+\par\vspace*{0mm}% pour l'alignement sur le haut
+\footnotesize
+\begin{verbatim}
+\input{VCPref-mystyle}
+\VCDraw{%
+\begin{VCPicture}{(0,-2)(6,2)}
+% states
+\State[A]{(0,0)}{A} \State[B]{(2,-2)}{B}
+\FinalState[C]{(4,2)}{C} \State[D]{(6,0)}{D}
+%initial-final
+\Initial{A} \Final[s]{B}
+% transitions 
+\ArcR{A}{B}{a} \ArcL{A}{C}{b}
+\LArcR{B}{D}{c} \LArcL{C}{D}{d}
+\ArcL{A}{B}{a'} \EdgeLineDouble \EdgeR{A}{C}{b'}
+\EdgeLineSimple \EdgeL{B}{D}{c'} \LArcR{C}{D}{d'}
+%
+\end{VCPicture}}
+\end{verbatim}
+\normalsize
+\end{minipage}% 
+
+\bigskip\bigskip
+{\footnotesize
+\begin{verbatim}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `Vaucanson-G'  version 0.4
+%%
+%% This is file `VCPref-mystyle'.
+%%  
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scales  --- 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LargeScale}{1.2}         %float : argument of a \scalebox
+\renewcommand{\MediumScale}{1}          %float
+\renewcommand{\SmallScale}{.7}		%float
+\renewcommand{\TinyScale}{0.5}		%float
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% State parameters  --- Default settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\setlength{\LargeStateDiameter}{1.2cm}		%length
+\setlength{\MediumStateDiameter}{.8cm}		%length
+\setlength{\SmallStateDiameter}{.6cm}		%length
+\renewcommand{\StateDblDimen}{outer}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% State aspect
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetStateLineWidth{.14mm}		%% length
+\SetStateFillStatus{none}		%% aspect
+\SetStateFillColor{black}		%% color
+\SetStateLabelScale{1}                  %% float
+\FixStateLineDouble{2}{5}               %% Double style: 
+%%%%%%%%%%%%%%
+% Edge aspect
+%%%%%%%%%%%%%%
+\SetEdgeLineWidth{.14mm}			%% length
+\SetEdgeLabelColor{black}		%% color
+\SetEdgeLabelScale{1}		        %% float
+\FixEdgeLineDouble{1.5}{2}		%% float : 
+%%% arrows
+\SetEdgeArrowWidth{1.03mm}			%width of the edge arrow
+\SetEdgeArrowLengthCoef{1.37}                   %float : 
+\setlength{\EdgeDblArrowWidth}{1.3mm}		%width : 
+\renewcommand{\EdgeDblArrowLengthCoef}{1.09}	% 
+\SetEdgeArrowInsetCoef{0}		%float : coef*\EdgeArrowSizeDim
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Arc geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetArcAngle{17}			%% int (degree)
+\SetLArcAngle{30}			%% int (degree)
+\SetArcCurvature{0.7}			%% float
+\SetArcOffset{1pt}			%% length
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Loop geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LoopOnLargeState}{5.5} 		%float
+\renewcommand{\LoopOnMediumState}{7}		%float : curvature
+\renewcommand{\LoopOnSmallState}{9} 		%float
+\renewcommand{\LoopOnVariableState}{4.5} 		%float
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Edge labels positionning
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\EdgeLabelPosit}{.5}   %per cent 
+\renewcommand{\EdgeLabelRevPosit}{.5}
+\renewcommand{\ArcLabelPosit}{.5}
+\renewcommand{\ArcLabelRevPosit}{.5}
+\renewcommand{\LArcLabelPosit}{.5}
+\renewcommand{\LArcLabelRevPosit}{.5}
+\renewcommand{\LoopLabelPosit}{.5}
+\renewcommand{\LoopLabelRevPosit}{.5}
+\renewcommand{\CLoopLabelPosit}{.5}
+\renewcommand{\CLoopLabelRevPosit}{.5}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Initial states parameters
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\ArrowOnMediumState}{1}		%float 
+\renewcommand{\ArrowOnSmallState}{1} 		%float
+\renewcommand{\ArrowOnLargeState}{1}		%float
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\end{verbatim}}
+
+\clearpage 
+
+\begin{thebibliography}{99}
+\bibitem{Girou94}
+{\sc D.~Girou}
+\newblock Pr\'esentation de PSTricks,
+\newblock {\em Cahier GUTenberg} \textbf{16} (1994) 21-70.
+%  \texttt{http://www.tug.org/applications/PSTricks/}
+
+\bibitem{Gast}
+{\sc P.~Gastin}
+\newblock {\em GasTeX: Graphs and Automata Simplified in TeX}.\\
+\newblock \texttt{http://www.lsv.ens-cachan.fr/~gastin/gastex/gastex.html}
+
+\bibitem{GRM97}
+{\sc M.~Goossens, S.~Rahtz and F.~Mittelbach}
+\newblock {\em The LaTeX Graphics Companion}.
+\newblock Addison Wesley, 1997.
+
+\bibitem{GRMRV07}
+{\sc M.~Goossens, S.~Rahtz, F.~Mittelbach, D. Roegel, and H. Voss}
+\newblock {\em The LaTeX Graphics Companion, 2nd Edition}.
+\newblock Addison Wesley, 2007.
+
+\bibitem{Sak01}
+{\sc J. Sakarovitch},
+\newblock {\em El\'ements de th\'eorie des automates}.
+\newblock Vuibert, 2003. 
+\newblock Eng. trans. {\em Elements of Automata Theory}.
+\newblock Cambridge University Press, to appear.
+
+
+\bibitem{Voss07}
+{\sc H. Voss},
+\newblock {\em PSTricks -- Grafik f\"ur TeX und LaTeX}.
+\newblock Lehmanns/Dante e.V., 4th ed. 2007. 
+
+\end{thebibliography}
+
+Some examples of articles or slides that contain automata drawn with \VCSG
+can be found at the following URLs:
+\begin{itemize}
+\item \texttt{http://www.enst.fr/${\scriptstyle\pmb{\sim}}$jsaka/}
+\item \texttt{http:///igm.univ-mlv.fr/${\scriptstyle\pmb{\sim}}$lombardy/}
+\end{itemize}
+
+\printindex
+
+
+%\newpage
+%\input{VCManual_tab.tex}
+\end{document}
+%%%%%%%%%%%%%%%%%%%%%
diff --git a/Master/texmf-dist/doc/generic/vaucanson-g/VCManual.pdf b/Master/texmf-dist/doc/generic/vaucanson-g/VCManual.pdf
new file mode 100644
index 00000000000..bf48b7d7744
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/vaucanson-g/VCManual.pdf
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/VCColor-names.def b/Master/texmf-dist/tex/generic/vaucanson-g/VCColor-names.def
new file mode 100644
index 00000000000..221e55a657c
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/VCColor-names.def
@@ -0,0 +1,87 @@
+%%
+%% Package `Vaucanson-G'  version 0.4
+%%
+%% This is file `vcsn-color-names.def'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `vcsn-color-names.def' provides usual color definitions for Vaucanson-G
+%%  
+\xdefinecolor{GreenYellow}   {cmyk}{0.15,0,0.69,0}
+\xdefinecolor{Yellow}        {cmyk}{0,0,1,0}
+\xdefinecolor{Goldenrod}     {cmyk}{0,0.10,0.84,0}
+\xdefinecolor{Dandelion}     {cmyk}{0,0.29,0.84,0}
+\xdefinecolor{Apricot}       {cmyk}{0,0.32,0.52,0}
+\xdefinecolor{Peach}         {cmyk}{0,0.50,0.70,0}
+\xdefinecolor{Melon}         {cmyk}{0,0.46,0.50,0}
+\xdefinecolor{YellowOrange}  {cmyk}{0,0.42,1,0}
+\xdefinecolor{Orange}        {cmyk}{0,0.61,0.87,0}
+\xdefinecolor{BurntOrange}   {cmyk}{0,0.51,1,0}
+\xdefinecolor{Bittersweet}   {cmyk}{0,0.75,1,0.24}
+\xdefinecolor{RedOrange}     {cmyk}{0,0.77,0.87,0}
+\xdefinecolor{Mahogany}      {cmyk}{0,0.85,0.87,0.35}
+\xdefinecolor{Maroon}        {cmyk}{0,0.87,0.68,0.32}
+\xdefinecolor{BrickRed}      {cmyk}{0,0.89,0.94,0.28}
+\xdefinecolor{Red}           {cmyk}{0,1,1,0}
+\xdefinecolor{OrangeRed}     {cmyk}{0,1,0.50,0}
+\xdefinecolor{RubineRed}     {cmyk}{0,1,0.13,0}
+\xdefinecolor{WildStrawberry}{cmyk}{0,0.96,0.39,0}
+\xdefinecolor{Salmon}        {cmyk}{0,0.53,0.38,0}
+\xdefinecolor{CarnationPink} {cmyk}{0,0.63,0,0}
+\xdefinecolor{Magenta}       {cmyk}{0,1,0,0}
+\xdefinecolor{VioletRed}     {cmyk}{0,0.81,0,0}
+\xdefinecolor{Rhodamine}     {cmyk}{0,0.82,0,0}
+\xdefinecolor{Mulberry}      {cmyk}{0.34,0.90,0,0.02}
+\xdefinecolor{RedViolet}     {cmyk}{0.07,0.90,0,0.34}
+\xdefinecolor{Fuchsia}       {cmyk}{0.47,0.91,0,0.08}
+\xdefinecolor{Lavender}      {cmyk}{0,0.48,0,0}
+\xdefinecolor{Thistle}       {cmyk}{0.12,0.59,0,0}
+\xdefinecolor{Orchid}        {cmyk}{0.32,0.64,0,0}
+\xdefinecolor{DarkOrchid}    {cmyk}{0.40,0.80,0.20,0}
+\xdefinecolor{Purple}        {cmyk}{0.45,0.86,0,0}
+\xdefinecolor{Plum}          {cmyk}{0.50,1,0,0}
+\xdefinecolor{Violet}        {cmyk}{0.79,0.88,0,0}
+\xdefinecolor{RoyalPurple}   {cmyk}{0.75,0.90,0,0}
+\xdefinecolor{BlueViolet}    {cmyk}{0.86,0.91,0,0.04}
+\xdefinecolor{Periwinkle}    {cmyk}{0.57,0.55,0,0}
+\xdefinecolor{CadetBlue}     {cmyk}{0.62,0.57,0.23,0}
+\xdefinecolor{CornflowerBlue}{cmyk}{0.65,0.13,0,0}
+\xdefinecolor{MidnightBlue}  {cmyk}{0.98,0.13,0,0.43}
+\xdefinecolor{NavyBlue}      {cmyk}{0.94,0.54,0,0}
+\xdefinecolor{RoyalBlue}     {cmyk}{1,0.50,0,0}
+\xdefinecolor{Blue}          {cmyk}{1,1,0,0}
+\xdefinecolor{Cerulean}      {cmyk}{0.94,0.11,0,0}
+\xdefinecolor{Cyan}          {cmyk}{1,0,0,0}
+\xdefinecolor{ProcessBlue}   {cmyk}{0.96,0,0,0}
+\xdefinecolor{SkyBlue}       {cmyk}{0.62,0,0.12,0}
+\xdefinecolor{Turquoise}     {cmyk}{0.85,0,0.20,0}
+\xdefinecolor{TealBlue}      {cmyk}{0.86,0,0.34,0.02}
+\xdefinecolor{Aquamarine}    {cmyk}{0.82,0,0.30,0}
+\xdefinecolor{BlueGreen}     {cmyk}{0.85,0,0.33,0}
+\xdefinecolor{Emerald}       {cmyk}{1,0,0.50,0}
+\xdefinecolor{JungleGreen}   {cmyk}{0.99,0,0.52,0}
+\xdefinecolor{SeaGreen}      {cmyk}{0.69,0,0.50,0}
+\xdefinecolor{Green}         {cmyk}{1,0,1,0}
+\xdefinecolor{ForestGreen}   {cmyk}{0.91,0,0.88,0.12}
+\xdefinecolor{PineGreen}     {cmyk}{0.92,0,0.59,0.25}
+\xdefinecolor{LimeGreen}     {cmyk}{0.50,0,1,0}
+\xdefinecolor{YellowGreen}   {cmyk}{0.44,0,0.74,0}
+\xdefinecolor{SpringGreen}   {cmyk}{0.26,0,0.76,0}
+\xdefinecolor{OliveGreen}    {cmyk}{0.64,0,0.95,0.40}
+\xdefinecolor{RawSienna}     {cmyk}{0,0.72,1,0.45}
+\xdefinecolor{Sepia}         {cmyk}{0,0.83,1,0.70}
+\xdefinecolor{Brown}         {cmyk}{0,0.81,1,0.60}
+\xdefinecolor{Tan}           {cmyk}{0.14,0.42,0.56,0}
+\xdefinecolor{Gray}          {cmyk}{0,0,0,0.50}
+\xdefinecolor{Black}         {cmyk}{0,0,0,1}
+\xdefinecolor{White}         {cmyk}{0,0,0,0}
+\endinput
+%%
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-beamer.tex b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-beamer.tex
new file mode 100644
index 00000000000..25b22c2baa9
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-beamer.tex
@@ -0,0 +1,46 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%% This is file `VCPref-slides'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `VCPref-beamer' contains initial values of VauCanSon-G 
+%%   parameters suitable for drawing automata in slides.
+%%   Works with package `beamer'; 
+%%   smaller scale values than those given in `VCPref-slides'
+%%  
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scales  --- slides settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LargeScale}{0.85}       
+\renewcommand{\MediumScale}{0.6}       
+\renewcommand{\SmallScale}{0.4}		
+\renewcommand{\TinyScale}{0.30}		
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% State aspect
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetStateLineColor{blue}
+\SetStateLineWidth{2pt}
+\SetStateFillColor{Cyan}
+\SetStateLabelColor{Sepia}
+\FixDimState{solid}{YellowOrange}{1}{YellowOrange}{white}
+%%%%%%%%%%%%%%
+% Edge aspect
+%%%%%%%%%%%%%%
+\SetEdgeLineColor{Mahogany}
+\SetEdgeLineWidth{1.2pt}
+\SetEdgeLabelColor{OliveGreen}
+%%% Dimmed edges
+\FixDimEdge{dashed}{1.2}{Apricot}{Apricot}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\endinput
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex
new file mode 100644
index 00000000000..849575e1eef
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex
@@ -0,0 +1,160 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `Vaucanson-G'  version 0.4
+%%
+%% This is file `VCPref-default'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `VCPref-default' contains default values for Vaucanson-G    
+%%              
+%%   Editing the file and changing these values is of course possible 
+%%   but users are advised to rather edit the file `VCPref-mystyle' 
+%%   instead.
+%%   
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scales  settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LargeScale}{0.85}        %float : argument of a \scalebox
+\renewcommand{\MediumScale}{0.6}        %float
+\renewcommand{\SmallScale}{0.5}		%float
+\renewcommand{\TinyScale}{0.42}		%float
+\renewcommand{\VCGridScale}{1}  % scale of psunit (in cm)
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% State geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\setlength{\LargeStateDiameter}{1.2cm}     %length
+\setlength{\MediumStateDiameter}{.9cm}	   %length
+\setlength{\SmallStateDiameter}{.6cm}      %length
+\setlength{\VerySmallStateDiameter}{.3cm}  %length
+\renewcommand{\VSStateLineCoef}{.6}        %float: coef*\StateLineWidth
+\renewcommand{\StateDimen}{outer}      		
+\renewcommand{\StateDblDimen}{middle}	
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% State drawing
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetStateLineStyle{solid}		%% aspect (none, dashed, dotted)
+\SetStateLineColor{black}		%% color
+\SetStateLineWidth{1.8pt}		%% length
+\SetStateFillStatus{solid}		%% aspect
+\SetStateFillColor{white}		%% color
+\renewcommand{\SmallStateFillStatus}{solid} %
+\renewcommand{\SmallStateFillColor}{white} %
+\SetStateLabelColor{black}		%% color
+\SetStateLabelScale{1.7}		%% float
+\FixStateLineDouble{0.6}{0.4}  %% Double style: \StateLineDblCoef, 
+\StateLineDblfalse             %%   \StateLineDblSep, *\StateLineWidth
+%%% Dimmed states
+% LineStyle,LineColor,LineCoef (*\StateLineWidth),LabelColor,FillColor
+\FixDimState{solid}{gray}{1}{gray}{white}  %%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Edge drawing  (Edge is understood here as transitions!)
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetEdgeLineStyle{solid}                %% aspect
+\SetEdgeLineColor{black}		%% color
+\SetEdgeLineWidth{1pt}			%% length
+\EdgeLineDblfalse 
+% coefs*\EdgeLineWidth -> (width of lines, distance)
+\FixEdgeLineDouble{0.5}{0.6}		%% 
+\SetEdgeLabelColor{black}		%% color
+\SetEdgeLabelScale{1.7}		        %% float
+%%% arrows
+\SetEdgeArrowWidth{5pt}		%width of the edge arrow
+\SetEdgeArrowLengthCoef{1.4}    % 
+\setlength{\EdgeDblArrowWidth}{5.5pt}  % width for double transitions
+\renewcommand{\EdgeDblArrowLengthCoef}{1.7} 
+\SetEdgeArrowInsetCoef{0.1}	%float : coef*\EdgeArrowWidth
+\SetEdgeArrowStyle{->}	        %style (other styles : <-, |-|, -|,...)
+\renewcommand{\EdgeRevArrowStyle}{<-}   %style for reverse transitions
+%%% Dimmed edges
+%  LineStyle,LineCoef,LineColor,LabelColor
+\FixDimEdge{solid}{1.2}{gray}{gray}     %% 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Edge geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetEdgeOffset{0pt}                     %% length
+\renewcommand{\ForthBackEdgeOffset}{5}	%% coef*\EdgeLineWidth -> offset
+\setlength{\EdgeNodeSep}{0pt}
+% int,color : coef*\EdgeLineWidth -> width of border
+\FixEdgeBorder{2}{white}		%% 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% ZZ geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\setlength{\ZZSize}{.9cm}		% length : apparent diameter
+\renewcommand{\ZZShape}{0.5}		% coef: opening of the ZZ
+\SetZZLineWidth{1.7}			% float
+%  coef*\ZZSize -> distance added for labels
+\renewcommand{\TransLabelZZCoef}{0.6}	% float 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Arc geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetArcAngle{15}			%% int (degree)
+\SetLArcAngle{30}			%% int (degree)
+\SetArcCurvature{0.8}			%% float
+\SetArcOffset{1pt}			%% length
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Loop geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LoopAngle}{30}
+\renewcommand{\CLoopAngle}{22}
+\renewcommand{\LoopVarAngle}{28}
+\SetLoopOffset{0pt}			%% length
+\setlength{\LoopVarOffset}{.7pt}
+% loop curvature
+\renewcommand{\LoopOnLargeState}{5.8} 		%float
+\renewcommand{\LoopOnMediumState}{7}		%float  
+\renewcommand{\LoopOnSmallState}{9.6} 		%float
+\renewcommand{\LoopOnVariableState}{5.1}        %float
+\renewcommand{\CLoopOnLargeState}{6}		%float
+\renewcommand{\CLoopOnMediumState}{8}		%float
+\renewcommand{\CLoopOnSmallState}{12}		%float
+\renewcommand{\CLoopOnVariableState}{5.2}       %float
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Edge labels  positioning
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\setlength{\TransLabelSep}{3.5pt}
+%  per cent (use \Fix..LabelPosit with values in [10;90])
+\renewcommand{\EdgeLabelPosit}{.45}   %
+\renewcommand{\EdgeLabelRevPosit}{.55}
+\renewcommand{\ArcLabelPosit}{.40}
+\renewcommand{\ArcLabelRevPosit}{.60}
+\renewcommand{\LArcLabelPosit}{.40}
+\renewcommand{\LArcLabelRevPosit}{.60}
+\renewcommand{\LoopLabelPosit}{.25}
+\renewcommand{\LoopLabelRevPosit}{.75}
+\renewcommand{\CLoopLabelPosit}{.25}
+\renewcommand{\CLoopLabelRevPosit}{.75}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Initial states parameters
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%  float : coef *\StateDiameter for size of initial and final arrows
+\renewcommand{\ArrowOnMediumState}{1.5}		%float
+\renewcommand{\ArrowOnSmallState}{1.7} 		%float
+\renewcommand{\ArrowOnLargeState}{1.3}		%float
+\renewcommand{\ArrowOnVerySmallState}{5} 	%float
+%
+\renewcommand{\InitStateLabelPosit}{.10}
+\renewcommand{\InitStateLabelRevPosit}{.90}
+\renewcommand{\FinalStateLabelPosit}{.90}
+\renewcommand{\FinalStateLabelRevPosit}{.10}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Initialization
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetVCDirectory{}        %default dir=current dir
+\HideFrame
+\HideGrid
+\MediumPicture
+\HideName
+\RigidLabel
+\FullState				%% PlainState
+\MediumState
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\endinput
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-mystyle.tex b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-mystyle.tex
new file mode 100644
index 00000000000..53df4849e2f
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-mystyle.tex
@@ -0,0 +1,93 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `Vaucanson-G'  version 0.4
+%%
+%% This is file `VCPref-mystyle'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `VCPref-mystyle' is style file for Vaucanson-G.
+%%   The wrapper vaucanson-g.sty can be called with the option {mystyle}
+%%   in which case this file this read after the file Vaucanson-G.tex
+%%   The file is ready to be edited by any user.
+%%   The actual values are those that give figure a look like with 
+%%   the GasTex package.
+%%  
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scales  --- 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LargeScale}{1.2}         %float : argument of a \scalebox
+\renewcommand{\MediumScale}{1}          %float
+\renewcommand{\SmallScale}{.7}		%float
+\renewcommand{\TinyScale}{0.5}		%float
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% State parameters  --- Default settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\setlength{\LargeStateDiameter}{1.2cm}		%length
+\setlength{\MediumStateDiameter}{.8cm}		%length
+\setlength{\SmallStateDiameter}{.6cm}		%length
+\renewcommand{\StateDblDimen}{outer}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% State aspect
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetStateLineWidth{.14mm}		%% length
+\SetStateFillStatus{none}		%% aspect
+\SetStateFillColor{black}		%% color
+\SetStateLabelScale{1}                  %% float
+\FixStateLineDouble{2}{5}               %% Double style: 
+%%%%%%%%%%%%%%
+% Edge aspect
+%%%%%%%%%%%%%%
+\SetEdgeLineWidth{.14mm}			%% length
+\SetEdgeLabelColor{black}		%% color
+\SetEdgeLabelScale{1}		        %% float
+\FixEdgeLineDouble{1.5}{2}		%% float : 
+%%% arrows
+\SetEdgeArrowWidth{1.03mm}			%width of the edge arrow
+\SetEdgeArrowLengthCoef{1.37}                   %float : 
+\setlength{\EdgeDblArrowWidth}{1.3mm}		%width : 
+\renewcommand{\EdgeDblArrowLengthCoef}{1.09}	% 
+\SetEdgeArrowInsetCoef{0}		%float : coef*\EdgeArrowSizeDim
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Arc geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetArcAngle{17}			%% int (degree)
+\SetLArcAngle{30}			%% int (degree)
+\SetArcCurvature{0.7}			%% float
+\SetArcOffset{1pt}			%% length
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Loop geometry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LoopOnLargeState}{5.5} 		%float
+\renewcommand{\LoopOnMediumState}{7}		%float : curvature
+\renewcommand{\LoopOnSmallState}{9} 		%float
+\renewcommand{\LoopOnVariableState}{4.5} 		%float
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Edge labels positionning
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\EdgeLabelPosit}{.5}   %per cent 
+\renewcommand{\EdgeLabelRevPosit}{.5}
+\renewcommand{\ArcLabelPosit}{.5}
+\renewcommand{\ArcLabelRevPosit}{.5}
+\renewcommand{\LArcLabelPosit}{.5}
+\renewcommand{\LArcLabelRevPosit}{.5}
+\renewcommand{\LoopLabelPosit}{.5}
+\renewcommand{\LoopLabelRevPosit}{.5}
+\renewcommand{\CLoopLabelPosit}{.5}
+\renewcommand{\CLoopLabelRevPosit}{.5}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Initial states parameters
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\ArrowOnMediumState}{1}		%float 
+\renewcommand{\ArrowOnSmallState}{1} 		%float
+\renewcommand{\ArrowOnLargeState}{1}		%float
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\endinput
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-slides.tex b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-slides.tex
new file mode 100644
index 00000000000..e8295cdb327
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-slides.tex
@@ -0,0 +1,46 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%% This is file `VCPref-slides'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `VCPref-slides' contains initial values of VauCanSon-G 
+%%   parameters suitable for drawing automata in slides.
+%%   Works with packages `slides', `prosper', or `youpla' for instance 
+%%   `VCPref-beamer' exists which gives smaller scale values
+%%  
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scales  --- slides settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\renewcommand{\LargeScale}{1.5}
+\renewcommand{\MediumScale}{1.16}
+\renewcommand{\SmallScale}{0.92}
+\renewcommand{\TinyScale}{0.75}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% State aspect
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\SetStateLineColor{blue}
+\SetStateLineWidth{2pt}
+\SetStateFillColor{Cyan}
+\SetStateLabelColor{Sepia}
+\FixDimState{solid}{YellowOrange}{1}{YellowOrange}{white}
+%%%%%%%%%%%%%%
+% Edge aspect
+%%%%%%%%%%%%%%
+\SetEdgeLineColor{Mahogany}
+\SetEdgeLineWidth{1.2pt}
+\SetEdgeLabelColor{OliveGreen}
+%%% Dimmed edges
+\FixDimEdge{dashed}{1.2}{Apricot}{Apricot}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\endinput
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/Vaucanson-G.tex b/Master/texmf-dist/tex/generic/vaucanson-g/Vaucanson-G.tex
new file mode 100644
index 00000000000..e915239b7be
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/Vaucanson-G.tex
@@ -0,0 +1,1156 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%% This is file `VauCanSon-G'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `VauCanSon-G' is the main file of the package and contains all 
+%%   macro definitions file. 
+%%  
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Writing VauCanSon-G macro
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\VCSG}%
+   {\textsc{V$\overline{\text{au}}$C%
+    \raisebox{.3ex}{$\underline{\text{an}}$}S%
+    $\overline{\text{on}}$-G}\xspace}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Commands for geometric constructions
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% constants 
+\newcommand{\SQRTwo}{0.717}
+\newcommand{\SQRThree}{1.732}
+\newcommand{\GoldMean}{0.618}
+\newcommand{\GoldMeanI}{1.618}
+\newcommand{\SQRGoldMeanI}{1.272}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% Edge label drawing macros
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Separator in compound labels (eg \IOL{input}{output})
+\newcommand{\IOL}[2]{#1\!\mid\! #2}
+%%% Stacked labels
+\newcommand{\StackTwoLabels}[2]%
+   {\renewcommand{\arraystretch}{0.75}%
+    \begin{array}{c}#1\\ #2 \end{array}%
+    \renewcommand{\arraystretch}{1.333}}
+\newcommand{\StackThreeLabels}[3]%
+   {\renewcommand{\arraystretch}{0.75}%
+    \begin{array}{c}#1\\ #2 \\ #3 \end{array}%
+    \renewcommand{\arraystretch}{1.333}}
+%%% Stacked labels with +
+\newcommand{\StackTwoLabelsP}[2]%
+   {\renewcommand{\arraystretch}{0.75}%
+    \begin{array}{c}#1\\ + \\ #2 \end{array}%
+    \renewcommand{\arraystretch}{1.333}}
+\newcommand{\StackThreeLabelsP}[3]%
+   {\renewcommand{\arraystretch}{0.75}%
+    \begin{array}{c}#1\\ + \\ #2 \\ + \\ #3 \end{array}% 
+    \renewcommand{\arraystretch}{1.333}}
+%%% Lined up labels (with +)
+\newcommand{\LineTwoLabelsP}[2]{#1 + #2} 
+\newcommand{\LineThreeLabelsP}[3]{#1 + #2 + #3}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scales  --- Default settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\LargeScale}{0.85}
+\newcommand{\MediumScale}{0.6}
+\newcommand{\SmallScale}{0.5}
+\newcommand{\TinyScale}{0.42}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% State parameters  --- Default settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Size = StateDiameter
+%%% The preset sizes are given in cm, and not in "psunits".
+%%% This allows to use different scales for the whole figure 
+%%% and for the "drawing grid".
+\newlength{\MediumStateDiameter}
+\newlength{\SmallStateDiameter}
+\newlength{\LargeStateDiameter}
+\newlength{\VerySmallStateDiameter}
+\setlength{\MediumStateDiameter}{.9cm}
+\setlength{\SmallStateDiameter}{.6cm}
+\setlength{\LargeStateDiameter}{1.2cm}
+\setlength{\VerySmallStateDiameter}{.3cm}
+%%% Border line = StateLine
+\newlength{\StateLineWidth}        % width
+\setlength{\StateLineWidth}{1.8pt}
+\newcommand{\StateLineStyle}{solid} % style
+\newcommand{\StateLineColor}{black}
+\newif\ifStateLineDbl \StateLineDblfalse 
+\newcommand{\StateLineDblCoef}{0.6} 
+\newcommand{\StateLineDblSep}{0.4} 
+\newcommand{\VSStateLineCoef}{.6} % coef. for very small state
+%%% State background and label
+\newcommand{\StateFillStatus}{solid} 
+\newcommand{\StateFillColor}{white}
+\newcommand{\StateLabelColor}{black}
+\newcommand{\StateLabelScale}{1.7}
+\newcommand{\SmallStateFillStatus}{solid} %
+\newcommand{\SmallStateFillColor}{white} %
+   % As they have usually no labels it useful
+   % to have a coloring facility for the "SmallState"
+%%%  Dimmed states (e.g. for non accessible states)
+\newcommand{\DimStateLineStyle}{solid} 
+\newcommand{\DimStateLineCoef}{1} % 
+\newcommand{\DimStateLineColor}{gray}
+\newcommand{\DimStateLabelColor}{gray}
+\newcommand{\DimStateFillColor}{white}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Edge drawing parameters  --- Default settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% line
+\newlength{\EdgeLineWidth}
+\setlength{\EdgeLineWidth}{1pt}
+\newcommand{\EdgeLineStyle}{solid}
+\newif\ifEdgeLineDbl \EdgeLineDblfalse 
+%\newcommand{\EdgeLineDblStatus}{false} 
+\newcommand{\EdgeLineDblCoef}{0.5} 
+\newcommand{\EdgeLineDblSep}{0.6} 
+\newcommand{\EdgeLineColor}{black}
+% arrow
+\newlength{\EdgeArrowWidth}
+\setlength{\EdgeArrowWidth}{5pt}
+\newlength{\EdgeDblArrowWidth}
+\setlength{\EdgeDblArrowWidth}{5.5pt}
+\newcommand{\EdgeArrowLengthCoef}{1.4}
+\newcommand{\EdgeDblArrowLengthCoef}{1.7}
+\newcommand{\EdgeArrowInset}{0.1}
+\newcommand{\EdgeArrowStyle}{->}
+\newcommand{\EdgeRevArrowStyle}{<-}
+% border
+\newcommand{\EdgeLineBorderCoef}{2}
+\newcommand{\EdgeLineBorderColor}{white}
+% label
+\newcommand{\EdgeLabelColor}{black}
+\newcommand{\EdgeLabelScale}{1.7}
+%%% Dimmed edges 
+\newcommand{\DimEdgeLineCoef}{1.2} 
+\newcommand{\DimEdgeLineStyle}{solid} 
+\newcommand{\DimEdgeLineColor}{gray}
+\newcommand{\DimEdgeLabelColor}{gray}
+%%% Zigzag edges parameter
+\newlength{\ZZSize}
+\setlength{\ZZSize}{.9cm} % =\MediumStateDiameter
+\newcommand{\ZZShape}{0.5}
+\newcommand{\ZZLineWidth}{1.7} % coefficient multiplicateur
+%  coef*\ZZSize -> distance added for labels
+\newcommand{\TransLabelZZCoef}{0.6} % 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Edge geometric parameters  --- Default settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Edge 
+\newlength{\EdgeOffset}
+\setlength{\EdgeOffset}{0pt}
+\newcommand{\ForthBackEdgeOffset}{5}% coef
+\newlength{\EdgeNodeSep}\setlength{\EdgeNodeSep}{0pt}
+% Arc parameters
+\newcommand{\VaucArcAngle}{15}
+\newcommand{\VaucArcCurvature}{0.8}
+\newlength{\VaucArcOffset}\setlength{\VaucArcOffset}{1pt}
+% Large Arc parameters
+\newcommand{\VaucLArcAngle}{30}
+\newcommand{\VaucLArcCurvature}{0.8}
+\newlength{\LoopOffset}\setlength{\LoopOffset}{0pt}
+\newlength{\LoopVarOffset}\setlength{\LoopVarOffset}{.7pt}
+\newcommand{\LoopAngle}{30}
+\newcommand{\CLoopAngle}{22}
+\newcommand{\LoopVarAngle}{28}
+% Size of loops (depending on the size of the state)
+\newcommand{\LoopOnMediumState}{7}
+\newcommand{\LoopOnSmallState}{9.6} 
+\newcommand{\LoopOnLargeState}{5.8} 
+\newcommand{\LoopOnVariableState}{5.1} 
+\newcommand{\LoopOnVerySmallState}{15} 
+\newcommand{\CLoopOnMediumState}{8}
+\newcommand{\CLoopOnSmallState}{12}
+\newcommand{\CLoopOnLargeState}{6}
+\newcommand{\CLoopOnVariableState}{5.2}
+%\newcommand{\CLoopOnVerySmallState}{14} 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% Edge label parameters --- Default settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% label distance from transition
+\newlength{\TransLabelSep}\setlength{\TransLabelSep}{3.5pt}
+% label position on transitions
+\newcommand{\EdgeLabelPosit}{.45}\newcommand{\EdgeLabelRevPosit}{.55}
+\newcommand{\ArcLabelPosit}{.4}\newcommand{\ArcLabelRevPosit}{.6}
+\newcommand{\LArcLabelPosit}{.4}\newcommand{\LArcLabelRevPosit}{.6}
+\newcommand{\LoopLabelPosit}{.25}\newcommand{\LoopLabelRevPosit}{.75}
+\newcommand{\CLoopLabelPosit}{.25}\newcommand{\CLoopLabelRevPosit}{.75}
+% label position on initial-final arrow
+\newcommand{\InitStateLabelPosit}{.1}
+\newcommand{\InitStateLabelRevPosit}{.9}
+\newcommand{\FinalStateLabelPosit}{.9}
+\newcommand{\FinalStateLabelRevPosit}{.1}
+%%% Size of initial and final arrow
+% the size is relative to the diameter
+% and the coefficient varies with the diameter
+\newcommand{\ArrowOnStateCoef}{}
+\newcommand{\ArrowOnMediumState}{1.5}
+\newcommand{\ArrowOnSmallState}{1.7} 
+\newcommand{\ArrowOnLargeState}{1.3}
+\newcommand{\ArrowOnVerySmallState}{5} 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% Shift for aligned labels
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newlength{\VertShiftH} \settoheight{\VertShiftH}{$\{$}
+\newlength{\VertShiftD} \settodepth{\VertShiftD}{$\{$}
+\newlength{\VertShift}
+\setlength{\VertShift}{.5\VertShiftD-.5\VertShiftH}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% flags 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newif\ifVCFrame
+\newcommand{\HideFrame}{\VCFramefalse}
+\newcommand{\ShowFrame}{\VCFrametrue}
+\newif\ifVCGrid
+\newcommand{\HideGrid}{\VCGridfalse}
+\newcommand{\ShowGrid}{\VCGridtrue}
+\newif\ifVCRigidLabel
+\newcommand{\RigidLabel}{\VCRigidLabeltrue}
+\newcommand{\SwivelLabel}{\VCRigidLabelfalse}
+\newif\ifVCStateLabelBaseLine
+\newcommand{\AlignedLabel}{\VCStateLabelBaseLinetrue}
+\newcommand{\FloatingLabel}{\VCStateLabelBaseLinefalse}
+\HideFrame
+\HideGrid
+\RigidLabel
+\FloatingLabel
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%   style for the frame around the picture
+\psset{unit=1cm}
+\newpsstyle{VaucFrameStyle}%
+           {arrows=-,%
+            framesep=0pt,%                   
+            linewidth=0.6pt,%
+            linecolor=black,%
+            linestyle=solid,%
+            doubleline=false,%
+            fillcolor=white,%
+            fillstyle=none,%
+            cornersize=relative,%
+            framearc=0}%
+\newcommand{\FrameStyle}{\psset{style=VaucFrameStyle}}
+\newpsstyle{VaucGridStyle}%
+           {gridwidth=0.6pt,%
+            griddots=10,%
+            subgriddiv=1,%
+            gridlabels=7pt}
+\newcommand{\GridStyle}{\psset{style=VaucGridStyle}}
+% figure, vertically centered by default
+% draw frame according to VCFrame flag
+% Set the shift for aligned label w.r.t the current size of characters
+\newenvironment{VCPicture}[2][.5]%
+   {\settoheight{\VertShiftH}{$\{$}%
+    \settodepth{\VertShiftD}{$\{$}%
+    \setlength{\VertShift}{.5\VertShiftD-.5\VertShiftH}%
+    \begin{pspicture}[#1]#2%
+       \ifVCFrame \FrameStyle \psframe#2\fi%
+       \ifVCGrid \FrameStyle\GridStyle \psgrid#2\fi%
+   }%
+   {\RstState\RstEdge\end{pspicture}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scaling matters
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% The "sizes" (for states) and the "line widths" are given 
+%%% as "lengthes" in a fixed unit (cm or pt), whereas the positions 
+%%% are supposed to be given in "psunits".
+%%% This allows to use different scaling parameters 
+%%% for the whole figure and for the "drawing grid".
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Scaling commands
+\newcommand{\VCScale}{0.6}% Global scale parameter
+\newcommand{\VCGridScale}{1}% Global scale parameter
+% 
+\newcommand{\FixVCScale}[1]{\renewcommand{\VCScale}{#1}} 
+\newcommand{\FixVCGridScale}[1]{\renewcommand{\VCGridScale}{#1}}
+%                                              
+\newcommand{\LargePicture}{\FixVCScale{\LargeScale}}
+\newcommand{\MediumPicture}{\FixVCScale{\MediumScale}}
+\newcommand{\SmallPicture}{\FixVCScale{\SmallScale}}
+\newcommand{\TinyPicture}{\FixVCScale{\TinyScale}}
+%%%%% Typical figure would look like
+%   \scalebox{\VCScale}{%
+%     \begin{VCPicture}{(x0,y0)(x1,y1)}
+%     %  figure description
+%     \end{VCPicture}%
+%    }
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% Using a special directory for the figure
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\VCDirectory}{}
+\newcommand{\SetVCDirectory}[1]{\renewcommand{\VCDirectory}{#1}}
+% flag for printing the name of the figure file
+\newif\ifVCName
+\newcommand{\HideName}{\VCNamefalse}
+\newcommand{\ShowName}{\VCNametrue}
+\newcommand{\VCDraw}[2][\VCGridScale]%
+   {\psset{unit=#1cm}%
+    \scalebox{\VCScale}{#2}%
+    \psset{unit=1cm}}
+\newcommand{\VCCall}[2][\VCGridScale]%
+   {\psset{unit=#1cm}%
+    \ifVCName\makebox[0pt][r]{\fbox{{\scriptsize #2}}}\fi%
+    \scalebox{\VCScale}{\input{\VCDirectory #2}}%
+    \psset{unit=1cm}}
+%%% commands
+\newcommand{\VCPut}[3][0]{\rput{#1}#2{#3}}% 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% State internal parameters  --- Initial settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newlength{\StateLineWid}
+\setlength{\StateLineWid}{\StateLineWidth}
+\newcommand{\StateLineSty}{\StateLineStyle} 
+\newcommand{\StateLineCol}{\StateLineColor}
+%\newcommand{\StateLineDblSta}{\StateLineDblStatus}
+\newcommand{\StateLineDblWid}{\StateLineDblWidth}
+\newcommand{\StateLineDblSp}{\StateLineDblSep}
+\newcommand{\StateFillCol}{\StateFillColor}
+\newcommand{\StateFillSta}{\StateFillStatus} 
+\newcommand{\StateLabelSca}{1}
+\newcommand{\StateLabelCol}{\StateLabelColor}
+\newcommand{\StateDimen}{outer}
+\newcommand{\StateDblDimen}{middle}
+%%%  Initial-final quality
+\newcommand{\VCIFflag}{2}\newcommand{\VCIFflagtemp}{2}
+\newcommand{\PlainState}%
+  {\renewcommand{\VCIFflag}{0}\renewcommand{\VCIFflagtemp}{0}}
+\newcommand{\FullState}%
+  {\renewcommand{\VCIFflag}{2}\renewcommand{\VCIFflagtemp}{2}}
+\newcommand{\IFState}{\renewcommand{\VCIFflag}{1}}
+\newcommand{\IFXState}{\renewcommand{\VCIFflag}{2}}
+\newcommand{\RstVCIF}{\renewcommand{\VCIFflag}{\VCIFflagtemp}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%  State drawing style
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% flag for hiding -- showing states (used for overlays in slides)
+% the trick is to have two different styles and instead of 
+% saving\restoring parameters
+\newif\ifVCShowState
+\newcommand{\HideState}{\VCShowStatefalse}
+\newcommand{\ShowState}{\VCShowStatetrue}
+\ShowState % initialisation
+% the only difference between the two styles is the linestyle
+\newpsstyle{VaucStateStyle}%
+           {framesep=0pt,%                   
+            linewidth=\StateLineWid,%
+            linecolor=\StateLineCol,%
+            linestyle=\StateLineSty,%
+            doubleline=false,%
+            fillcolor=\StateFillCol,%
+            fillstyle=\StateFillSta,% 
+            border=0pt,
+            dimen=\StateDimen,%
+            cornersize=relative,%
+            framearc=1,%
+            framesep=0pt}
+\newpsstyle{VaucStateDblStyle}%
+           {framesep=0pt,%                   
+            linewidth=\StateLineDblCoef\StateLineWid,%
+            linecolor=\StateLineCol,%
+            linestyle=\StateLineSty,%
+            doubleline=true,%
+            doublesep=\StateLineDblSep\StateLineWid,%
+            fillcolor=\StateFillCol,%
+            fillstyle=\StateFillSta,% 
+            border=0pt,%
+            dimen=\StateDblDimen,%
+            cornersize=relative,%
+            framearc=1,%
+            framesep=0pt}
+\newpsstyle{VaucHiddenStateStyle}%
+           {framesep=0pt,%                   
+            linewidth=\StateLineWid,%
+            linecolor=\StateLineCol,%
+            linestyle=none,%
+            fillcolor=\StateFillCol,%
+            fillstyle=none,% 
+            border=0pt,%
+            dimen=outer,%
+            cornersize=relative,%
+            framearc=1,%
+            framesep=0pt}
+\newcommand{\StateStyle}%
+   {\ifVCShowState%
+       \ifStateLineDbl\psset{style=VaucStateDblStyle}%
+       \else\psset{style=VaucStateStyle}%
+       \fi%
+    \else\psset{style=VaucHiddenStateStyle}%
+    \fi}
+%%% used in StateVar
+\newcommand{\VaucStateRBLabel}[1]%
+   {\textcolor{\StateLabelCol}%
+              {\scalebox{\StateLabelSca}%
+                        {\scalebox{\StateLabelScale}%
+                                  {\rput[B]{0}(0,\VertShift){$#1$}}}}}
+%%%
+\newcommand{\VaucStateLabel}[1]%
+    {\ifVCShowState%
+        \ifVCRigidLabel%
+           \ifVCStateLabelBaseLine%
+              \textcolor{\StateLabelCol}%
+                        {\scalebox{\StateLabelSca}%
+                                  {\scalebox{\StateLabelScale}%
+                                            {\rput[B]%
+                                                  {*0}%
+                                                  (0,\VertShift){$#1$}}}}%
+           \else%
+              \textcolor{\StateLabelCol}%
+                        {\scalebox{\StateLabelSca}%
+                                  {\scalebox{\StateLabelScale}%
+                                            {\rput{*0}%
+                                                  (0,0)%
+                                                  {$ #1 $}}}}%
+           \fi%
+        \else%
+           \textcolor{\StateLabelCol}%
+                     {\scalebox{\StateLabelSca}%
+                               {\scalebox{\StateLabelScale}{$#1$}}}%
+        \fi%
+     \else%
+        \textcolor{white}%
+                  {\scalebox{\StateLabelSca}
+                            {\scalebox{\StateLabelScale}{$#1$}}}%
+     \fi}
+%%% Write label without state (not documented)
+%%% 080612 new version that takes into account color, scale and 
+%%% baseline
+\newcommand{\VCStateLabel}[1]%
+   {\ifVCStateLabelBaseLine
+       \textcolor{\StateLabelCol}%
+          {\scalebox{\StateLabelSca}%
+             {\scalebox{\StateLabelScale}%
+                {\rput[B]{0}(0,\VertShift){$#1$}}}}%
+     \else
+        \textcolor{\StateLabelCol}%
+           {\scalebox{\StateLabelSca}%
+              {\scalebox{\StateLabelScale}{$#1$}}}
+     \fi
+    }%
+\newcommand{\VCPutStateLabel}[2]{\VCPut{#1}{\VCStateLabel{#2}}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%  State parameter changing and setting macros 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% line style
+\newcommand{\ChgStateLineStyle}[1]{\renewcommand{\StateLineSty}{#1}}
+\newcommand{\RstStateLineStyle}{\ChgStateLineStyle{\StateLineStyle}}
+\newcommand{\SetStateLineStyle}[1]%
+   {\renewcommand{\StateLineStyle}{#1}\RstStateLineStyle}%
+%%% doubleline status
+\newcommand{\StateLineDouble}{\StateLineDbltrue}
+\newcommand{\StateLineSimple}{\StateLineDblfalse}
+%%% line width
+\newcommand{\ChgStateLineWidth}[1]%
+   {\setlength{\StateLineWid}{#1\StateLineWidth}}%  
+\newcommand{\RstStateLineWidth}{\ChgStateLineWidth{1}}%
+\newcommand{\SetStateLineWidth}[1]% ATTN the parameter is a length
+   {\setlength{\StateLineWidth}{#1}\RstStateLineWidth}
+%%% line color
+\newcommand{\ChgStateLineColor}[1]{\renewcommand{\StateLineCol}{#1}}
+\newcommand{\RstStateLineColor}{\ChgStateLineColor{\StateLineColor}}
+\newcommand{\SetStateLineColor}[1]%
+   {\renewcommand{\StateLineColor}{#1}\RstStateLineColor}
+%%% background fill status
+\newcommand{\ChgStateFillStatus}[1]{\renewcommand{\StateFillSta}{#1}}
+\newcommand{\RstStateFillStatus}{\ChgStateFillStatus{\StateFillStatus}}
+\newcommand{\SetStateFillStatus}[1]% 
+    {\renewcommand{\StateFillStatus}{#1}\RstStateFillStatus}
+%%% backgroud color
+\newcommand{\ChgStateFillColor}[1]{\renewcommand{\StateFillCol}{#1}}
+\newcommand{\RstStateFillColor}{\ChgStateFillColor{\StateFillColor}}
+\newcommand{\SetStateFillColor}[1]% 
+    {\renewcommand{\StateFillColor}{#1}\RstStateFillColor}%
+%%% label color
+\newcommand{\ChgStateLabelColor}[1]{\renewcommand{\StateLabelCol}{#1}}
+\newcommand{\RstStateLabelColor}{\ChgStateLabelColor{\StateLabelColor}}
+\newcommand{\SetStateLabelColor}[1]%
+    {\renewcommand{\StateLabelColor}{#1}\RstStateLabelColor}
+%%% label scale
+\newcommand{\ChgStateLabelScale}[1]{\renewcommand{\StateLabelSca}{#1}}
+\newcommand{\RstStateLabelScale}{\ChgStateLabelScale{1}}
+\newcommand{\SetStateLabelScale}[1]%
+   {\renewcommand{\StateLabelScale}{#1}\RstStateLabelScale}
+%%% double line
+\newcommand{\FixStateLineDouble}[2]%
+   {\renewcommand{\StateLineDblCoef}{#1}%
+    \renewcommand{\StateLineDblSep}{#2}}
+%%% dimmed state
+\newcommand{\FixDimState}[5]%
+   {\renewcommand{\DimStateLineStyle}{#1}%
+    \renewcommand{\DimStateLineCoef}{#3}%
+    \renewcommand{\DimStateLineColor}{#2}%
+    \renewcommand{\DimStateLabelColor}{#4}%
+    \renewcommand{\DimStateFillColor}{#5}}
+\newcommand{\DimState}%
+   {\ChgStateLineStyle{\DimStateLineStyle}%
+    \ChgStateLineWidth{\DimStateLineCoef}%
+    \ChgStateLineColor{\DimStateLineColor}%
+    \ChgStateFillColor{\DimStateFillColor}%
+    \ChgStateLabelColor{\DimStateLabelColor}}
+%%% restoring state parameters
+\newcommand{\RstState}%
+   {\RstStateLineStyle%
+    \RstStateLineWidth%
+    \RstStateLineColor%
+    \RstStateFillStatus%
+    \RstStateFillColor%
+    \RstStateLabelColor%
+    \RstStateLabelScale}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% State drawing
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% preparation
+\newlength{\StateDiam}
+\newlength{\VaucAOS}\newlength{\VaucAOSdiag}
+%%%  A flag to remember the current size of state
+\newcommand{\StateSizeFlag}{}
+%
+\newcommand{\SetAOS}%
+   {\setlength{\VaucAOS}{\ArrowOnStateCoef\StateDiam}%
+    \setlength{\VaucAOSdiag}{\SQRTwo\VaucAOS}}
+%% parameter for variable width states
+\newlength{\VariableStateIntDiam}
+\newlength{\VariableStateWidth}
+\newlength{\VariableStateITPos}
+\newcommand{\SetStateIntDiam}%
+   {\setlength{\VariableStateIntDiam}{\StateDiam}%
+    \addtolength{\VariableStateIntDiam}{-2\StateLineWid}}
+% Loop parameters
+\newcommand{\LoopSize}{}\newcommand{\LoopSi}{}
+\newcommand{\LoopVarSize}{}\newcommand{\LoopVarSi}{}
+\newcommand{\CLoopSize}{}\newcommand{\CLoopSi}{}
+%
+\newcommand{\ChgLoopSize}[1]{\renewcommand{\LoopSi}{#1}}
+\newcommand{\RstLoopSize}{\ChgLoopSize{\LoopSize}}
+\newcommand{\SetLoopSize}[1]%
+   {\renewcommand{\LoopSize}{#1}\RstLoopSize}
+%
+\newcommand{\ChgCLoopSize}[1]{\renewcommand{\CLoopSi}{#1}}
+\newcommand{\RstCLoopSize}{\ChgCLoopSize{\CLoopSize}}
+\newcommand{\SetCLoopSize}[1]%
+   {\renewcommand{\CLoopSize}{#1}\RstCLoopSize}
+%
+\newcommand{\ChgLoopVarSize}[1]{\renewcommand{\LoopVarSi}{#1}}
+\newcommand{\RstLoopVarSize}{\ChgLoopVarSize{\LoopVarSize}}
+\newcommand{\SetLoopVarSize}[1]%
+   {\renewcommand{\LoopVarSize}{#1}\RstLoopVarSize}
+%
+%%% setting state diameter -- internal command
+\newcommand{\SetStateDiam}[4]%
+   {\setlength{\StateDiam}{#1}%
+    \renewcommand{\ArrowOnStateCoef}{#2}%
+    \SetLoopSize{#3}%
+    \SetLoopVarSize{#3}%
+    \SetCLoopSize{#4}%
+    \SetStateIntDiam%
+    \SetAOS}
+%%% setting state diameter -- external command
+\newcommand{\FixStateDiameter}[1]%  
+   {\setlength{\StateDiam}{#1}%
+    \SetStateIntDiam%
+    \SetAOS}
+%%% setting coeff for initial/final arrows
+\newcommand{\FixAOSLengthCoef}[1]%
+   {\renewcommand{\ArrowOnStateCoef}{#1}%
+    \SetAOS}
+%%%
+\newcommand{\MediumState}%
+   {\SetStateDiam{\MediumStateDiameter}%
+                 {\ArrowOnMediumState}%
+                 {\LoopOnMediumState}%
+                 {\CLoopOnMediumState}%
+    \renewcommand{\StateSizeFlag}{0}}
+\newcommand{\SmallState}%
+   {\SetStateDiam{\SmallStateDiameter}%
+                 {\ArrowOnSmallState}%
+                 {\LoopOnSmallState}%
+                 {\CLoopOnSmallState}%
+    \renewcommand{\StateSizeFlag}{1}}
+\newcommand{\LargeState}%
+   {\SetStateDiam{\LargeStateDiameter}%
+                 {\ArrowOnLargeState}%
+                 {\LoopOnLargeState}
+                 {\CLoopOnLargeState}%
+    \renewcommand{\StateSizeFlag}{2}}
+%
+\newcommand{\RstStateSize}%
+  {\ifthenelse{\equal{\StateSizeFlag}{0}}%
+      {\MediumState}%
+      {\ifthenelse{\equal{\StateSizeFlag}{1}}%
+          {\SmallState}{\LargeState}}}
+%%% Initialization
+\MediumState
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\VaucState}[3][{}]%
+   {\rput#2%
+       {\Cnode[radius=.5\StateDiam](0,0){#3}%
+        \ifVCShowState%
+           \nput[labelsep=-.5\StateDiam]%
+               {0}{#3}{\makebox[0pt]{\VaucStateLabel{#1}}}%
+        \fi%
+        \ifthenelse{\equal{\VCIFflag}{0}}%
+           {}%
+           {\pnode(-\VaucAOS,0){#3w}%
+            \pnode(\VaucAOS,0){#3e}%
+            \pnode(0,\VaucAOS){#3n}%
+            \pnode(0,-\VaucAOS){#3s}%
+            \ifthenelse{\equal{\VCIFflag}{1}}%
+               {}%
+               {\pnode(-\VaucAOSdiag,\VaucAOSdiag){#3nw}%
+                \pnode(\VaucAOSdiag,\VaucAOSdiag){#3ne}%
+                \pnode(-\VaucAOSdiag,-\VaucAOSdiag){#3sw}%
+                \pnode(\VaucAOSdiag,-\VaucAOSdiag){#3se}}%
+           }%
+       }%
+   }
+%
+\newcommand{\State}[3][{}]{\StateStyle\VaucState[#1]{#2}{#3}}
+%
+\newcommand{\FinalState}[3][{}]%
+   {\psset{style=VaucStateDblStyle}%
+    \VaucState[#1]{#2}{#3}}
+%%% ecological commands   
+\newcommand{\StateIF}[3][{}]{\IFState\State[#1]{#2}{#3}\RstVCIF}%
+\newcommand{\StateIFX}[3][{}]{\IFXState\State[#1]{#2}{#3}\RstVCIF}%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Very Small State   
+\newcommand{\VSState}[2]%
+    {\renewcommand{\ArrowOnStateCoef}{\ArrowOnVerySmallState}%
+     \FixStateDiameter{\VerySmallStateDiameter}%
+     \ChgStateLineWidth{\VSStateLineCoef}%
+     \State{#1}{#2}%
+     \RstStateLineWidth%
+     \RstStateSize}% mod 020201
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% white brace, of no width, used to place the label vertically
+%\newlength{\BraceLength}
+\newcommand{\WB}{\textcolor{white}{\{\!\!\!}}%
+\newcommand{\HS}{}
+\newlength{\ExtraSpace}\setlength{\ExtraSpace}{1em}
+%
+\newcommand{\StateVar}[3][]%
+   {\StateStyle%
+    \settowidth{\VariableStateWidth}%
+               {\scalebox{\StateLabelSca}%
+                         {\scalebox{\StateLabelScale}{$#1$}}}%
+    \addtolength{\VariableStateWidth}{\ExtraSpace}%
+    \ifthenelse{\lengthtest{\VariableStateWidth<\VariableStateIntDiam}}%
+       {\setlength{\VariableStateWidth}{\VariableStateIntDiam}}%
+       {}%
+    \setlength{\VariableStateITPos}{\ArrowOnStateCoef\StateDiam}%
+    \addtolength{\VariableStateITPos}{0.5\VariableStateWidth}%
+    \addtolength{\VariableStateITPos}{-0.5\StateDiam}%
+    \rput#2%
+       {\pnode(\VariableStateITPos,0){#3e}%
+        \pnode(-\VariableStateITPos,0){#3w}%
+        \pnode(0,\ArrowOnStateCoef\StateDiam){#3n}%
+        \pnode(0,-\ArrowOnStateCoef\StateDiam){#3s}}%
+    \rput#2%
+       {\rnode{#3}%
+              {\psframebox{\protect\rule[-.5\VariableStateIntDiam]%
+                                        {0pt}%
+                                        {\VariableStateIntDiam}%                                           
+                           \protect\rule{\VariableStateWidth}{0pt}}}}%
+    \rput#2{\VaucStateRBLabel{#1}}%
+   }%
+%%%%% macro FinalStateVar %%%%%%%%%%%%%%%%%%%
+\newcommand{\StateLineDblTemp}{0}
+\newcommand{\FinalStateVar}[3][]%
+   {\ifStateLineDbl\renewcommand{\StateLineDblTemp}{1}%
+    \else\renewcommand{\StateLineDblTemp}{0}%
+    \fi%
+    \StateLineDouble%
+    \StateVar[#1]{#2}{#3}%
+    \ifthenelse{\equal{\StateLineDblTemp}{0}}%
+       {\StateLineSimple}{}%
+    }
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\VarLoopOn}%
+   {\ChgLoopOffset{\LoopVarOff}%
+    \ChgLoopSize{\LoopVarSi}%
+    \ChgLoopAngle{\LoopVarAng}}
+\newcommand{\VarLoopOff}{\RstLoopOffset\RstLoopSize\RstLoopAngle}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Edge drawing parameters  --- Initial settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newlength{\EdgeLineWid}
+\setlength{\EdgeLineWid}{\EdgeLineWidth}
+\newcommand{\EdgeLineSty}{\EdgeLineStyle}
+\newcommand{\EdgeLineCol}{\EdgeLineColor}
+% label
+\newcommand{\EdgeLabelSca}{1}
+\newcommand{\EdgeLabelCol}{\EdgeLabelColor}
+% arrow
+\newlength{\EdgeArrowSZDim}
+\setlength{\EdgeArrowSZDim}{\EdgeArrowWidth}
+\newcommand{\EdgeArrowSZNum}{\EdgeArrowLengthCoef}
+\newcommand{\EdgeArrowSty}{\EdgeArrowStyle}
+\newcommand{\EdgeArrowIns}{\EdgeArrowInset}
+% border 
+\newlength{\EdgeLineBord}\setlength{\EdgeLineBord}{0pt}
+%%% Zigzag edge parameters
+\newlength{\ZZSiZ}
+\setlength{\ZZSiZ}{\ZZSize}%
+\newcommand{\ZZLineWid}{\ZZLineWidth}% multiplying coefficient
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% Edge geometric parameters  --- Initial settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Edge 
+\newlength{\EdgeOff}
+\setlength{\EdgeOff}{\EdgeOffset}
+% Arc
+\newcommand{\VaucArcAng}{\VaucArcAngle}
+\newcommand{\VaucLArcAng}{\VaucLArcAngle}
+\newlength{\VaucArcOff}
+\setlength{\VaucArcOff}{\VaucArcOffset}
+% Loop
+\newcommand{\VaucArcCurv}{\VaucArcCurvature}
+\newcommand{\VaucLArcCurv}{\VaucLArcCurvature}
+\newcommand{\LoopAng}{\LoopAngle}
+\newcommand{\CLoopAng}{\CLoopAngle}
+\newcommand{\LoopVarAng}{\LoopVarAngle}
+\newlength{\LoopOff}\setlength{\LoopOff}{\LoopOffset}
+\newlength{\LoopVarOff}\setlength{\LoopVarOff}{\LoopVarOffset}
+\newlength{\EdgeNodeSP}\setlength{\EdgeNodeSP}{\EdgeNodeSep}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% Edge label parameters --- Initial settings
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% label distance from transition
+\newlength{\TransLabelSP}\setlength{\TransLabelSP}{\TransLabelSep}
+% label position on transitions
+\newcommand{\EdgeLabelPos}{\EdgeLabelPosit}
+\newcommand{\ArcLabelPos}{\ArcLabelPosit}
+\newcommand{\LArcLabelPos}{\LArcLabelPosit}
+\newcommand{\LoopLabelPos}{\LoopLabelPosit}
+\newcommand{\CLoopLabelPos}{\CLoopLabelPosit}
+% label position on initial-final arrow
+\newcommand{\InitStateLabelPos}{\InitStateLabelPosit}
+\newcommand{\FinalStateLabelPos}{\FinalStateLabelPosit}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%% Transition styles
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newpsstyle{VaucEdgeStyle}%
+           {arrows=\EdgeArrowSty,%
+            arrowsize=\EdgeArrowSZDim,%
+            arrowlength=\EdgeArrowSZNum,%
+            arrowinset=\EdgeArrowIns,%
+            linewidth=\EdgeLineWid,%
+            linecolor=\EdgeLineCol,%
+            linestyle=\EdgeLineSty,%
+            doubleline=false,%
+            bordercolor=\EdgeLineBorderColor,%
+            border=\EdgeLineBord,%
+            fillstyle=none,%
+            offset=\EdgeOff,%
+            labelsep=\TransLabelSP,%
+            nodesep=\EdgeNodeSP}
+\newpsstyle{VaucEdgeDblStyle}%
+           {arrows=\EdgeArrowSty,%
+            arrowsize=\EdgeArrowSZDim,%
+            arrowlength=\EdgeArrowSZNum,%
+            arrowinset=\EdgeArrowIns,%
+            linewidth=\EdgeLineDblCoef\EdgeLineWid,%
+            linecolor=\EdgeLineCol,
+            linestyle=\EdgeLineSty,%
+            doubleline=true,%
+            doublesep=\EdgeLineDblSep\EdgeLineWid,%
+            bordercolor=\EdgeLineBorderColor,%
+            border=\EdgeLineBord,%
+            fillstyle=none,%
+            offset=\EdgeOff,%
+            labelsep=\TransLabelSP,%
+            nodesep=\EdgeNodeSP}
+%%% Arc
+\newpsstyle{VaucArcR}%
+           {ncurv=\VaucArcCurv,%
+            arcangle=-\VaucArcAng,%
+            labelsep=\TransLabelSP,%
+            offset=-\VaucArcOff}
+\newpsstyle{VaucArcL}%
+           {ncurv=\VaucArcCurv,%
+            arcangle=\VaucArcAng,%
+            labelsep=\TransLabelSP,%
+            offset=\VaucArcOff}
+\newpsstyle{VaucLArcR}%
+           {ncurv=\VaucLArcCurv,%
+            arcangle=-\VaucLArcAng,%
+            labelsep=\TransLabelSP,%
+            offset=-\VaucArcOff}
+\newpsstyle{VaucLArcL}%
+           {ncurv=\VaucLArcCurv,%
+            arcangle=\VaucLArcAng,%
+            labelsep=\TransLabelSP,%
+            offset=\VaucArcOff}
+%%% zig-zag
+\newpsstyle{VaucZigzagStyle}%
+           {linewidth=\ZZLineWid\EdgeLineWid,%
+            linearc=1.6pt,%
+            coilwidth=1.2\ZZSiZ,%
+            coilheight=\ZZShape,%
+            coilarmA=0.1\ZZSiZ,%
+            coilarmB=0.3\ZZSiZ,%
+            labelsep=\TransLabelSP,%
+            nodesep=\EdgeNodeSP}
+%%%
+\newcommand{\EdgeStyle}%
+   {\ifEdgeLineDbl\psset{style=VaucEdgeDblStyle}%
+    \else\psset{style=VaucEdgeStyle}%
+    \fi}
+\newcommand{\ZigzagStyle}%
+   {\addtolength{\TransLabelSP}{\TransLabelZZCoef\ZZSiZ}%
+    \psset{style=VaucZigzagStyle}%
+    \addtolength{\TransLabelSP}{-\TransLabelZZCoef\ZZSiZ}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%  Transition parameter changing and setting macros 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% geometric parameters
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%  edges
+\newcommand{\ChgEdgeOffset}[1]{\setlength{\EdgeOff}{#1}}
+\newcommand{\RstEdgeOffset}{\ChgEdgeOffset{\EdgeOffset}}
+\newcommand{\SetEdgeOffset}[1]%
+   {\setlength{\EdgeOffset}{#1}\RstEdgeOffset}
+\newcommand{\ForthBackOffset}%
+   {\setlength{\EdgeOff}{\ForthBackEdgeOffset\EdgeLineWid}}
+%
+\newcommand{\ChgEdgeNodeSep}[1]{\setlength{\EdgeNodeSP}{#1\EdgeNodeSep}}
+\newcommand{\RstEdgeNodeSep}{\ChgEdgeNodeSep{1}}
+\newcommand{\SetEdgeNodeSep}[1]%
+   {\setlength{\EdgeNodeSep}{#1}\RstEdgeNodeSep}
+%%  arcs
+\newcommand{\ChgArcAngle}[1]{\renewcommand{\VaucArcAng}{#1}}
+\newcommand{\RstArcAngle}{\ChgArcAngle{\VaucArcAngle}}
+\newcommand{\SetArcAngle}[1]%
+   {\renewcommand{\VaucArcAngle}{#1}\RstArcAngle}
+%
+\newcommand{\ChgLArcAngle}[1]{\renewcommand{\VaucLArcAng}{#1}}
+\newcommand{\RstLArcAngle}{\ChgLArcAngle{\VaucLArcAngle}}
+\newcommand{\SetLArcAngle}[1]%
+   {\renewcommand{\VaucLArcAngle}{#1}\RstLArcAngle}
+%
+\newcommand{\ChgArcCurvature}[1]{\renewcommand{\VaucArcCurv}{#1}}
+\newcommand{\RstArcCurvature}{\ChgArcCurvature{\VaucArcCurvature}}
+\newcommand{\SetArcCurvature}[1]%
+   {\renewcommand{\VaucArcCurvature}{#1}\RstArcCurvature}
+%
+\newcommand{\ChgLArcCurvature}[1]{\renewcommand{\VaucLArcCurv}{#1}}
+\newcommand{\RstLArcCurvature}{\ChgLArcCurvature{\VaucLArcCurvature}}
+\newcommand{\SetLArcCurvature}[1]%
+   {\renewcommand{\VaucLArcCurvature}{#1}\RstLArcCurvature}
+%
+\newcommand{\ChgArcOffset}[1]{\setlength{\VaucArcOff}{#1}}
+\newcommand{\RstArcOffset}{\setlength{\VaucArcOff}{\VaucArcOffset}}
+\newcommand{\SetArcOffset}[1]%
+   {\renewcommand{\VaucArcOffset}{#1}\RstArcOffset}
+%
+\newcommand{\ChgLoopOffset}[1]{\setlength{\LoopOff}{#1}}
+\newcommand{\RstLoopOffset}{\setlength{\LoopOff}{\LoopOffset}}
+\newcommand{\SetLoopOffset}[1]%
+   {\renewcommand{\LoopOffset}{#1}\RstLoopOffset}
+%
+\newcommand{\ChgLoopAngle}[1]{\renewcommand{\LoopAng}{#1}}
+\newcommand{\RstLoopAngle}{\ChgLoopAngle{\LoopAngle}}
+\newcommand{\SetLoopAngle}[1]%
+   {\renewcommand{\LoopAngle}{#1}\RstLoopAngle}
+%
+\newcommand{\ChgCLoopAngle}[1]{\renewcommand{\CLoopAng}{#1}}
+\newcommand{\RstCLoopAngle}{\ChgCLoopAngle{\CLoopAngle}}
+\newcommand{\SetCLoopAngle}[1]%
+   {\renewcommand{\CLoopAngle}{#1}\RstCLoopAngle}
+%%  labels
+\newcommand{\ChgEdgeLabelSep}[1]%
+   {\setlength{\TransLabelSP}{#1\TransLabelSep}}
+\newcommand{\RstEdgeLabelSep}{\ChgEdgeLabelSep{1}}
+\newcommand{\SetEdgeLabelSep}[1]%
+   {\setlength{\TransLabelSep}{#1}\RstEdgeLabelSep}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% drawing parameters
+\newcommand{\ChgEdgeLineColor}[1]{\renewcommand{\EdgeLineCol}{#1}}
+\newcommand{\RstEdgeLineColor}{\ChgEdgeLineColor{\EdgeLineColor}}
+\newcommand{\SetEdgeLineColor}[1]%
+   {\renewcommand{\EdgeLineColor}{#1}\RstEdgeLineColor}
+%
+\newcommand{\ChgEdgeLineStyle}[1]{\renewcommand{\EdgeLineSty}{#1}}  
+\newcommand{\RstEdgeLineStyle}{\ChgEdgeLineStyle{\EdgeLineStyle}}
+\newcommand{\SetEdgeLineStyle}[1]%
+   {\renewcommand{\EdgeLineStyle}{#1}\RstEdgeLineStyle}
+%
+\newcommand{\ChgEdgeLineWidth}[1]% coefficient !
+   {\setlength{\EdgeLineWid}{#1\EdgeLineWidth}}
+\newcommand{\RstEdgeLineWidth}{\ChgEdgeLineWidth{1}}
+\newcommand{\SetEdgeLineWidth}[1]% length !
+   {\setlength{\EdgeLineWidth}{#1}\RstEdgeLineWidth}
+% double line
+\newcommand{\EdgeLineDouble}%
+   {\EdgeLineDbltrue%
+    \ChgEdgeArrowWidth{\EdgeDblArrowWidth}%
+    \ChgEdgeArrowLengthCoef{\EdgeDblArrowLengthCoef}}
+\newcommand{\EdgeLineSimple}%
+   {\EdgeLineDblfalse\RstEdgeArrowWidth\RstEdgeArrowLengthCoef}
+\newcommand{\FixEdgeLineDouble}[2]{%
+    \renewcommand{\EdgeLineDblCoef}{#1}%
+    \renewcommand{\EdgeLineDblSep}{#2}}
+% edge labels
+\newcommand{\ChgEdgeLabelColor}[1]{\renewcommand{\EdgeLabelCol}{#1}}
+\newcommand{\RstEdgeLabelColor}{\ChgEdgeLabelColor{\EdgeLabelColor}}
+\newcommand{\SetEdgeLabelColor}[1]%
+   {\renewcommand{\EdgeLabelColor}{#1}\RstEdgeLabelColor}
+%
+\newcommand{\ChgEdgeLabelScale}[1]{\renewcommand{\EdgeLabelSca}{#1}}
+\newcommand{\RstEdgeLabelScale}{\ChgEdgeLabelScale{1}}
+\newcommand{\SetEdgeLabelScale}[1]%
+   {\renewcommand{\EdgeLabelScale}{#1}\RstEdgeLabelScale}
+% arrows
+\newcommand{\ChgEdgeArrowStyle}[1]{\renewcommand{\EdgeArrowSty}{#1}}
+\newcommand{\RstEdgeArrowStyle}{\ChgEdgeArrowStyle{\EdgeArrowStyle}}
+\newcommand{\SetEdgeArrowStyle}[1]%
+   {\renewcommand{\EdgeArrowStyle}{#1}\RstEdgeArrowStyle}
+%
+\newcommand{\ChgEdgeArrowWidth}[1]%
+   {\setlength{\EdgeArrowSZDim}{#1}} % !! length !!
+\newcommand{\RstEdgeArrowWidth}{\ChgEdgeArrowWidth{\EdgeArrowWidth}}
+\newcommand{\SetEdgeArrowWidth}[1]%
+   {\setlength{\EdgeArrowWidth}{#1} \RstEdgeArrowWidth}
+%
+\newcommand{\ChgEdgeArrowLengthCoef}[1]{\renewcommand{\EdgeArrowSZNum}{#1}}
+\newcommand{\RstEdgeArrowLengthCoef}{\ChgEdgeArrowLengthCoef{\EdgeArrowLengthCoef}}
+\newcommand{\SetEdgeArrowLengthCoef}[1]%
+   {\renewcommand{\EdgeArrowLengthCoef}{#1}\RstEdgeArrowLengthCoef}
+%
+\newcommand{\ChgEdgeArrowInsetCoef}[1]{\renewcommand{\EdgeArrowIns}{#1}}
+\newcommand{\RstEdgeArrowInsetCoef}{\ChgEdgeArrowInsetCoef{\EdgeArrowInset}}
+\newcommand{\SetEdgeArrowInsetCoef}[1]%
+   {\renewcommand{\EdgeArrowInset}{#1}\RstEdgeArrowInsetCoef}
+%
+\newcommand{\ReverseArrow}%
+   {\ChgEdgeArrowStyle{\EdgeRevArrowStyle}%
+    \renewcommand{\EdgeLabelPos}{\EdgeLabelRevPosit}%
+    \renewcommand{\ArcLabelPos}{\ArcLabelRevPosit}%
+    \renewcommand{\LArcLabelPos}{\LArcLabelRevPosit}%
+    \renewcommand{\LoopLabelPos}{\LoopLabelRevPosit}%
+    \renewcommand{\CLoopLabelPos}{\CLoopLabelRevPosit}%
+    \renewcommand{\InitStateLabelPos}{\InitStateLabelRevPosit}%
+    \renewcommand{\FinalStateLabelPos}{\FinalStateLabelRevPosit}}
+\newcommand{\StraightArrow}%
+   {\ChgEdgeArrowStyle{\EdgeArrowStyle}%
+    \renewcommand{\EdgeLabelPos}{\EdgeLabelPosit}%
+    \renewcommand{\ArcLabelPos}{\ArcLabelPosit}%
+    \renewcommand{\LArcLabelPos}{\LArcLabelPosit}%
+    \renewcommand{\LoopLabelPos}{\LoopLabelPosit}%
+    \renewcommand{\CLoopLabelPos}{\CLoopLabelPosit}%
+    \renewcommand{\InitStateLabelPos}{\InitStateLabelPosit}%
+    \renewcommand{\FinalStateLabelPos}{\FinalStateLabelPosit}}
+% border
+\newcommand{\FixEdgeBorder}[2]%
+   {\renewcommand{\EdgeLineBorderCoef}{#1}%
+    \renewcommand{\EdgeLineBorderColor}{#2}}
+\newcommand{\EdgeBorder}%
+  {\setlength{\EdgeLineBord}{\EdgeLineBorderCoef\EdgeLineWid}}
+\newcommand{\EdgeBorderOff}{\setlength{\EdgeLineBord}{0pt}}
+% dimmed edges
+\newcommand{\FixDimEdge}[4]{%
+    \renewcommand{\DimEdgeLineStyle}{#1}%
+    \renewcommand{\DimEdgeLineCoef}{#2}%
+    \renewcommand{\DimEdgeLineColor}{#3}%
+    \renewcommand{\DimEdgeLabelColor}{#4}}%
+%
+\newcommand{\DimEdge}%
+   {\ChgEdgeLineStyle{\DimEdgeLineStyle}%
+    \ChgEdgeLineWidth{\DimEdgeLineCoef}%
+    \ChgEdgeLineColor{\DimEdgeLineColor}%
+    \ChgEdgeLabelColor{\DimEdgeLabelColor}}
+% zigzag edges
+\newcommand{\ChgZZSize}[1]{\setlength{\ZZSiZ}{#1}}
+\newcommand{\RstZZSize}{\setlength{\ZZSiZ}{\ZZSize}}
+\newcommand{\SetZZSize}[1]{\setlength{\ZZSiZe}{#1}\RstZZSize}
+%
+\newcommand{\ChgZZLineWidth}[1]{\renewcommand{\ZZLineWid}{#1}}
+\newcommand{\RstZZLineWidth}{\ChgZZLineWidth{\ZZLineWidth}}
+\newcommand{\SetZZLineWidth}[1]%
+   {\renewcommand{\ZZLineWidth}{#1}\RstZZLineWidth}
+%%%
+\newcommand{\RstEdge}%
+   {\RstEdgeOffset%
+    \RstArcAngle%
+    \RstLArcAngle%
+    \RstArcCurvature%
+    \RstLArcCurvature%
+    \RstArcOffset%
+    \RstLoopOffset%
+    \RstLoopSize%
+    \RstEdgeLineColor%
+    \RstEdgeLineStyle%
+    \RstEdgeLineWidth%
+    \EdgeLineSimple%
+    \StraightArrow%\EdgeBorderOff%
+    \RstEdgeLabelScale%
+    \RstEdgeLabelColor}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%  Transition drawing
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% composition of transition label 
+\newcommand{\VaucEdgeLabel}[1]%
+   {\textcolor{\EdgeLabelCol}%
+              {\scalebox{\EdgeLabelSca}%
+                        {\scalebox{\EdgeLabelScale}{$#1$}}}}% 
+%%% Edges
+\newcommand{\EdgeL}[4][{\EdgeLabelPos}]%
+   {\EdgeStyle \ncline{#2}{#3} \naput[npos=#1]{\VaucEdgeLabel{#4}}}
+\newcommand{\EdgeR}[4][{\EdgeLabelPos}]%
+   {\EdgeStyle \ncline{#2}{#3} \nbput[npos=#1]{\VaucEdgeLabel{#4}}}
+%%% Arcs 
+\newcommand{\ArcL}[4][{\ArcLabelPos}]%
+   {\EdgeStyle%
+    \psset{style=VaucArcL}% 
+    \ncarc{#2}{#3}%
+    \naput[npos=#1]{\VaucEdgeLabel{#4}}}
+\newcommand{\ArcR}[4][{\ArcLabelPos}]%
+   {\EdgeStyle%
+    \psset{style=VaucArcR}% 
+    \ncarc{#2}{#3}%
+    \nbput[npos=#1]{\VaucEdgeLabel{#4}}}
+\newcommand{\LArcL}[4][{\LArcLabelPos}]%
+   {\EdgeStyle%
+    \psset{style=VaucLArcL}% 
+    \ncarc{#2}{#3}%
+    \naput[npos=#1]{\VaucEdgeLabel{#4}}}
+\newcommand{\LArcR}[4][{\LArcLabelPos}]%
+   {\EdgeStyle%
+    \psset{style=VaucLArcR}% 
+    \ncarc{#2}{#3}%
+    \nbput[npos=#1]{\VaucEdgeLabel{#4}}}
+%%% Loops
+\newcounter{anglea}\newcounter{angleb}
+\newcommand{\LoopXR}[7]%
+   {{\setcounter{anglea}{#2-#4}}%
+    {\setcounter{angleb}{#2+#4}}%
+    {\EdgeStyle%
+     \psset{angleA=\theanglea,angleB=\theangleb,offset=#5,ncurv=#6}% 
+     \nccurve{#3}{#3}%
+     \nbput[npos=#1]{\VaucEdgeLabel{#7}}}}
+\newcommand{\LoopXL}[7]%
+   {{\setcounter{anglea}{#2+#4}}%
+    {\setcounter{angleb}{#2-#4}}%
+    {\EdgeStyle%
+     \psset{angleA=\theanglea,angleB=\theangleb,offset=-#5,ncurv=#6}% 
+     \nccurve{#3}{#3}%
+     \naput[npos=#1]{\VaucEdgeLabel{#7}}}}
+%
+\newcommand{\LoopR}[4][{\LoopLabelPos}]%
+   {\LoopXR{#1}{#2}{#3}{\LoopAng}{\LoopOff}{\LoopSi}{#4}}
+\newcommand{\LoopL}[4][{\LoopLabelPos}]%
+   {\LoopXL{#1}{#2}{#3}{\LoopAng}{\LoopOff}{\LoopSi}{#4}}
+\newcommand{\CLoopR}[4][{\CLoopLabelPos}]%
+   {\LoopXR{#1}{#2}{#3}{\CLoopAng}{\LoopOff}{\LoopSi}{#4}}
+\newcommand{\CLoopL}[4][{\CLoopLabelPos}]%
+   {\LoopXL{#1}{#2}{#3}{\CLoopAng}{\LoopOff}{\LoopSi}{#4}}
+\newcommand{\LoopVarR}[4][{\LoopLabelPos}]%
+   {\LoopXR{#1}{#2}{#3}{\LoopVarAng}{\LoopVarOff}{\LoopVarSi}{#4}}
+\newcommand{\LoopVarL}[4][{\LoopLabelPos}]%
+   {\LoopXL{#1}{#2}{#3}{\LoopVarAng}{\LoopVarOff}{\LoopVarSi}{#4}}
+%
+\newcommand{\LoopW}[3][{\LoopLabelPos}]{\LoopR[#1]{180}{#2}{#3}}
+\newcommand{\LoopE}[3][{\LoopLabelPos}]{\LoopL[#1]{0}{#2}{#3}}
+\newcommand{\LoopN}[3][{\LoopLabelPos}]{\LoopL[#1]{90}{#2}{#3}}
+\newcommand{\LoopS}[3][{\LoopLabelPos}]{\LoopR[#1]{-90}{#2}{#3}}
+\newcommand{\LoopNW}[3][{\LoopLabelPos}]{\LoopR[#1]{135}{#2}{#3}}
+\newcommand{\LoopNE}[3][{\LoopLabelPos}]{\LoopL[#1]{45}{#2}{#3}}
+\newcommand{\LoopSW}[3][{\LoopLabelPos}]{\LoopL[#1]{-135}{#2}{#3}}
+\newcommand{\LoopSE}[3][{\LoopLabelPos}]{\LoopR[#1]{-45}{#2}{#3}}
+\newcommand{\CLoopW}[3][{\CLoopLabelPos}]{\CLoopR[#1]{180}{#2}{#3}}
+\newcommand{\CLoopE}[3][{\CLoopLabelPos}]{\CLoopL[#1]{0}{#2}{#3}}
+\newcommand{\CLoopN}[3][{\CLoopLabelPos}]{\CLoopL[#1]{90}{#2}{#3}}
+\newcommand{\CLoopS}[3][{\CLoopLabelPos}]{\CLoopR[#1]{-90}{#2}{#3}}
+\newcommand{\CLoopNW}[3][{\CLoopLabelPos}]{\CLoopR[#1]{135}{#2}{#3}}
+\newcommand{\CLoopNE}[3][{\CLoopLabelPos}]{\CLoopL[#1]{45}{#2}{#3}}
+\newcommand{\CLoopSW}[3][{\CLoopLabelPos}]{\CLoopL[#1]{-135}{#2}{#3}}
+\newcommand{\CLoopSE}[3][{\CLoopLabelPos}]{\CLoopR[#1]{-45}{#2}{#3}}
+\newcommand{\LoopVarN}[3][{\CLoopLabelPos}]{\LoopVarL[#1]{90}{#2}{#3}}
+\newcommand{\LoopVarS}[3][{\CLoopLabelPos}]{\LoopVarR[#1]{-90}{#2}{#3}}
+%%% Zigzag edges
+\newcommand{\ZZEdge}[2]%
+   {\EdgeStyle%
+    \ZigzagStyle%
+    \nczigzag{#1}{#2}}
+\newcommand{\ZZEdgeL}[4][{\EdgeLabelRevPosit}]%
+   {\EdgeStyle%
+    \ZigzagStyle%
+    \nczigzag{#2}{#3}%
+    \naput[npos=#1]{\VaucEdgeLabel{#4}}}
+\newcommand{\ZZEdgeR}[4][{\EdgeLabelRevPosit}]%
+   {\EdgeStyle%
+    \ZigzagStyle%
+    \nczigzag{#2}{#3}%
+    \nbput[npos=#1]{\VaucEdgeLabel{#4}}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%  Initial-final arrow drawing
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% implicit parameter
+\newcommand{\InitialDir}{w}\newcommand{\FinalDir}{e}
+% without label
+\newcommand{\Initial}[2][\InitialDir]{\EdgeStyle\ncline{#2#1}{#2}}
+\newcommand{\Final}[2][\FinalDir]{\EdgeStyle\ncline{#2}{#2#1}}
+% with label
+%  NB modified syntax eg \InitialL[pos]{dir}{statename}{label}
+\newcommand{\InitialL}[4][{\InitStateLabelPos}]%
+   {\EdgeStyle%
+    \ncline{#3#2}{#3}%
+    \naput[npos=#1]{\VaucEdgeLabel{#4}}}
+\newcommand{\InitialR}[4][{\InitStateLabelPos}]%
+   {\EdgeStyle%
+    \ncline{#3#2}{#3}%
+    \nbput[npos=#1]{\VaucEdgeLabel{#4}}}
+\newcommand{\FinalL}[4][{\FinalStateLabelPos}]%
+   {\EdgeStyle%
+    \ncline{#3}{#3#2}%
+    \naput[npos=#1]{\VaucEdgeLabel{#4}}}
+\newcommand{\FinalR}[4][{\FinalStateLabelPos}]%
+   {\EdgeStyle%
+    \ncline{#3}{#3#2}%
+    \nbput[npos=#1]{\VaucEdgeLabel{#4}}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%  Reprise des macros pstricks
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\Point}[2]{\pnode#1{#2}}
+\newcommand{\Edge}[2]{\EdgeStyle\ncline{#1}{#2}}
+%
+\newcommand{\VArcL}[5][{\ArcLabelPos}]%
+   {\EdgeStyle%
+    \psset{style=VaucLArcL}% 
+    \ncarc[#2]{#3}{#4}%
+    \naput[npos=#1]{\VaucEdgeLabel{#5}}}
+\newcommand{\VArcR}[5][{\ArcLabelPos}]%
+   {\EdgeStyle%
+    \psset{style=VaucLArcR}% 
+    \ncarc[#2]{#3}{#4}%
+    \nbput[npos=#1]{\VaucEdgeLabel{#5}}}
+%
+\newcommand{\VCurveL}[5][{\ArcLabelPos}]%
+   {\EdgeStyle%
+    \psset{angleA=0,angleB=180,ncurv=1}% 
+    \nccurve[#2]{#3}{#4}%
+    \naput[npos=#1]{\VaucEdgeLabel{#5}}}
+\newcommand{\VCurveR}[5][{\ArcLabelPos}]%
+   {\EdgeStyle%
+    \psset{angleA=0,angleB=0,ncurv=1}% 
+    \nccurve[#2]{#3}{#4}%
+    \nbput[npos=#1]{\VaucEdgeLabel{#5}}}
+%
+\newcommand{\LabelL}[2][{\EdgeLabelPos}]%
+   {\naput[npos=#1]{\VaucEdgeLabel{#2}}}
+\newcommand{\LabelR}[2][{\EdgeLabelPos}]%
+   {\nbput[npos=#1]{\VaucEdgeLabel{#2}}}
+%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\endinput 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/vaucanson-g.sty b/Master/texmf-dist/tex/generic/vaucanson-g/vaucanson-g.sty
new file mode 100644
index 00000000000..33c6513dbc2
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/vaucanson-g.sty
@@ -0,0 +1,71 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%% This is file `vaucanson-g.sty'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `vaucanson-g.sty' is the wrapper for the package `VauCanSon-G'
+%%  
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\ProvidesPackage{vaucanson-g}%
+   [2008/10/27 package wrapper for VauCanSon-G  v. 0.4]
+   \def\fileversion{0.4}
+   \def\filedate{2008/10/27}
+\DeclareOption{default}{} % default option 
+\DeclareOption{slides}{\AtEndOfPackage{\input VCPref-slides.tex}}
+\DeclareOption{beamer}{\AtEndOfPackage{\input VCPref-beamer.tex}}  
+% next is preparation for a user defined style file 
+\DeclareOption{mystyle}{\AtEndOfPackage{\input VCPref-mystyle.tex}}  
+%%%% option for compatibility with 0.3 (thanks, Akim, for the option) 
+\DeclareOption{pstricks1-10}{} % explicit option is now unnecessary
+\ProcessOptions
+%%%%
+\RequirePackage{ifthen}
+\RequirePackage[pst]{xcolor}
+% compatibility with older version of xcolor
+\input{VCColor-names.def}  
+% 
+\RequirePackage{pstricks}
+% PSTricks 1.10 changed \scalebox.  Compatibility hack.
+\@ifpackagelater{pstricks}{2005/08/20}%
+   {\def\scalebox{\psscalebox}}{}%
+\RequirePackage{pst-node}
+\RequirePackage{pst-plot}
+\RequirePackage{pst-coil}
+\RequirePackage{multido}
+\RequirePackage{pst-3d}
+\RequirePackage{calc}
+\input Vaucanson-G.tex
+% PSTricks 1.10 changed the interface.  Compatibility hack.
+\@ifpackagelater{pstricks}{2005/08/20}
+   {%
+    \def\VaucProjectionOnSecondComponent(#1,#2)(#3,#4){#2}%
+    \def\VaucProjectionOnFourthComponent(#1,#2)(#3,#4){#4}%
+    \newlength{\VaucMinHeight}%
+    \newlength{\VaucMaxHeight}%
+    \renewenvironment{VCPicture}[2][.5]%
+      {\settoheight{\VertShiftH}{$\{$}%
+       \settodepth{\VertShiftD}{$\{$}%
+       \setlength{\VertShift}{.5\VertShiftD-.5\VertShiftH}%
+       \pssetlength{\VaucMinHeight}{\VaucProjectionOnSecondComponent#2}%
+       \pssetlength{\VaucMaxHeight}{\VaucProjectionOnFourthComponent#2}%
+       \addtolength{\VaucMinHeight}{-\VaucMaxHeight}%
+       \begin{pspicture}[shift=#1\VaucMinHeight]#2%
+       \ifVCFrame \FrameStyle \psframe#2\fi%
+       \ifVCGrid \FrameStyle\GridStyle \psgrid#2\fi}%
+      {\RstState\RstEdge\end{pspicture}}%
+   }%
+   {}
+\input VCPref-default.tex % Initialization with default values
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\endinput
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/vaucanson.sty b/Master/texmf-dist/tex/generic/vaucanson-g/vaucanson.sty
new file mode 100644
index 00000000000..d0cff731f59
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/vaucanson.sty
@@ -0,0 +1,73 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Package `VauCanSon-G'  version 0.4
+%%
+%% This is file `vaucanson-g.sty'.
+%%
+%% IMPORTANT NOTICE:
+%%
+%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
+%%
+%% This package may be distributed under the terms of the LaTeX Project
+%% Public License, as described in lppl.txt in the base LaTeX distribution.
+%% Either version 1.0 or, at your option, any later version.
+%%
+%% DESCRIPTION:
+%%
+%%   `vaucanson-g.sty' is the wrapper for the package `VauCanSon-G'
+%%  
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\ProvidesPackage{vaucanson-g}%
+   [2008/10/27 package wrapper for VauCanSon-G  v. 0.4]
+   \def\fileversion{0.4}
+   \def\filedate{2008/10/27}
+\typeout{vaucanson.sty is an obsolete name for vaucanson-g.sty. A file is kept
+under that name in order to ensure upward compatibility.}
+\DeclareOption{default}{} % default option 
+\DeclareOption{slides}{\AtEndOfPackage{\input VCPref-slides.tex}}
+\DeclareOption{beamer}{\AtEndOfPackage{\input VCPref-beamer.tex}}  
+% next is preparation for a user defined style file 
+\DeclareOption{mystyle}{\AtEndOfPackage{\input VCPref-mystyle.tex}}  
+%%%% option for compatibility with 0.3 (thanks, Akim, for the option) 
+\DeclareOption{pstricks1-10}{} % explicit option is now unnecessary
+\ProcessOptions
+%%%%
+\RequirePackage{ifthen}
+\RequirePackage[pst]{xcolor}
+% compatibility with older version of xcolor
+\input{VCColor-names.def}  
+% 
+\RequirePackage{pstricks}
+% PSTricks 1.10 changed \scalebox.  Compatibility hack.
+\@ifpackagelater{pstricks}{2005/08/20}%
+   {\def\scalebox{\psscalebox}}{}%
+\RequirePackage{pst-node}
+\RequirePackage{pst-plot}
+\RequirePackage{pst-coil}
+\RequirePackage{multido}
+\RequirePackage{pst-3d}
+\RequirePackage{calc}
+\input Vaucanson-G.tex
+% PSTricks 1.10 changed the interface.  Compatibility hack.
+\@ifpackagelater{pstricks}{2005/08/20}
+   {%
+    \def\VaucProjectionOnSecondComponent(#1,#2)(#3,#4){#2}%
+    \def\VaucProjectionOnFourthComponent(#1,#2)(#3,#4){#4}%
+    \newlength{\VaucMinHeight}%
+    \newlength{\VaucMaxHeight}%
+    \renewenvironment{VCPicture}[2][.5]%
+      {\settoheight{\VertShiftH}{$\{$}%
+       \settodepth{\VertShiftD}{$\{$}%
+       \setlength{\VertShift}{.5\VertShiftD-.5\VertShiftH}%
+       \pssetlength{\VaucMinHeight}{\VaucProjectionOnSecondComponent#2}%
+       \pssetlength{\VaucMaxHeight}{\VaucProjectionOnFourthComponent#2}%
+       \addtolength{\VaucMinHeight}{-\VaucMaxHeight}%
+       \begin{pspicture}[shift=#1\VaucMinHeight]#2%
+       \ifVCFrame \FrameStyle \psframe#2\fi%
+       \ifVCGrid \FrameStyle\GridStyle \psgrid#2\fi}%
+      {\RstState\RstEdge\end{pspicture}}%
+   }%
+   {}
+\input VCPref-default.tex % Initialization with default values
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\endinput
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds
index 9c7d5287931..733b701ca1e 100755
--- a/Master/tlpkg/bin/ctan2tds
+++ b/Master/tlpkg/bin/ctan2tds
@@ -703,6 +703,7 @@ $standardsourcefmt='latex';
  'texsis',	'texsis',
  'tugboat-plain','plain',
  'variations',	'generic',
+ 'vaucanson-g',	'generic',
  'vertex',	'plain',
  'wasy2',	'plain',
  'xetex-def',	'xelatex',
@@ -834,6 +835,7 @@ $standardfmt='latex';
  'txfonts',	'fonts',
  'vancouver',	'bibtex',
  'variations',	'generic',
+ 'vaucanson-g',	'generic',
  'velthuis',	'generic',
  'vertex',	'plain',
  'voss-de',	'german',
@@ -1013,6 +1015,7 @@ $standardtex='\.(cfg|sty|clo|ldf|cls|def|fd|cmap|4ht)$';
  'translator',	'\.dict|translator-language-mappings.tex|' . $standardtex,
  'tugboat-plain','\.cmn|' . $standardtex,
  'variations',	'^variations\.tex|' . $standardtex,  # not docvariations.tex
+ 'vaucanson-g',	'\.(def|tex)|' . $standardtex,
  'vertex',	'vertex\.tex|' . $standardtex,
  'vhistory',	'\.sty', # not hyperref.cfg
  'wasy2',	'wasyfont\.tex',
@@ -3078,9 +3081,8 @@ sub MAKEpst
    &SYSTEM("mv $DEST/doc/generic/$package/*cfg $DEST/tex/latex/$package");
 }
 
-# pst-geo specialities
-# 
-sub MAKEpstgeo {
+sub MAKEpstgeo
+{
    print "\t SPECIAL pst-geo $package starts\n";
    $standardtex = qq{^$package(Obj)?\.(tex|sty)};  # for pst-laboObj.tex
    $whichformat='generic';
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 8da19d3dab8..cdac2d844c2 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -219,7 +219,7 @@ my @WorkingTLP = qw(
         uebungsblatt ucthesis uhrzeit uiucthesis ulsy umich-thesis uml umlaute
           umthesis umtypewriter underlin undertilde units unitsdef unroman
           upmethodology upquote urlbst ushort ut-thesis uwthesis
-        vancouver variations varindex varsfromjobname
+        vancouver variations varindex varsfromjobname vaucanson-g
           vector velthuis venn verbatimbox verbatimcopy verse versions vertex
           vhistory visualfaq vmargin vntex volumes vpe vwcol vxu
         wadalab wallpaper warning warpcol williams wordlike wrapfig
diff --git a/Master/tlpkg/tlpsrc/collection-pstricks.tlpsrc b/Master/tlpkg/tlpsrc/collection-pstricks.tlpsrc
index cae76c051b2..82c059d3571 100644
--- a/Master/tlpkg/tlpsrc/collection-pstricks.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-pstricks.tlpsrc
@@ -55,4 +55,5 @@ depend pst2pdf
 depend pstricks
 depend pstricks-add
 depend uml
+depend vaucanson-g
 depend collection-basic
diff --git a/Master/tlpkg/tlpsrc/vaucanson-g.tlpsrc b/Master/tlpkg/tlpsrc/vaucanson-g.tlpsrc
new file mode 100644
index 00000000000..1206bf2d35d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/vaucanson-g.tlpsrc
@@ -0,0 +1,2 @@
+name vaucanson-g
+category Package