Mode d’emploi de l’application ESTEREL