\section{Implementation}
\label{implementation}
Référence a cheddar adl en express ... en fait, utiliser cheddar adl.exp pour faire ressortir tous les composants a exprimer ...
\\Donner un exemple détaillé de l'utilisation de cheddar adl?? 
\\xml???
\\dtd du xml