\newcommand\refext[2]{\textbf{#1}-\ref{#2}}
\newcommand{\XXX}{(\textcolor{Magenta}{XXX})}
% astérisme
\newcommand{\asterisme}{\smash{%
    \raisebox{-.5ex}{%
      \setlength{\tabcolsep}{-.5pt}%
      \begin{tabular}{@{}cc@{}}%
        \multicolumn2c*\\[-2ex]*&*%
      \end{tabular}}}}
% virage dangeureux
\font\manual=manfnt
\def\dbend{{\manual\char127}}

\newcommand{\version}{\begin{center}\small{version du \VCDate\ à \VCHM\,\textsc{tu}}\, {\tiny (\texttt{\VCRevision})\\ \ifx\VCModified=0 \VCModifiedText \fi}\end{center}}