diff options
| -rw-r--r-- | controle-20180322.tex | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/controle-20180322.tex b/controle-20180322.tex index 94058dd..221991e 100644 --- a/controle-20180322.tex +++ b/controle-20180322.tex @@ -77,13 +77,13 @@ \date{22 mars 2018} \maketitle -{\footnotesize -\immediate\write18{sh ./vc > vcline.tex} -\begin{center} -Git: \input{vcline.tex} -\end{center} -\immediate\write18{echo ' (stale)' >> vcline.tex} -\par} +%% {\footnotesize +%% \immediate\write18{sh ./vc > vcline.tex} +%% \begin{center} +%% Git: \input{vcline.tex} +%% \end{center} +%% \immediate\write18{echo ' (stale)' >> vcline.tex} +%% \par} \pretolerance=8000 \tolerance=50000 @@ -109,8 +109,12 @@ Durée : 1h30 Barème \emph{indicatif} : $7+8+5$ points. +(La longueur de l'exercice 3 ne doit pas effrayer : les réponses +attendues sont plus courtes que les questions puisqu'il s'agit de lire +et de commenter des raisonnements déjà écrits.) + \ifcorrige -%Ce corrigé comporte 7 pages (page de garde incluse) +Ce corrigé comporte 8 pages (page de garde incluse) \else Cet énoncé comporte 4 pages (page de garde incluse) \fi |