\section{Politique d'exécution}
\label{sec:alsk/exec}
\inputsrc{exec/0_intro}
\inputsrc{exec/1_bones}
\inputsrc{exec/2_ident}
\inputsrc{exec/3_executor}
\inputsrc{exec/4_impl}