Update app2-synthese.tex