diff options
| -rw-r--r-- | controle-20190205.tex | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/controle-20190205.tex b/controle-20190205.tex index 5c0d78f..6574119 100644 --- a/controle-20190205.tex +++ b/controle-20190205.tex @@ -77,14 +77,6 @@ \date{5 février 2019} \maketitle -{\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 @@ -116,14 +108,22 @@ L'usage des appareils électroniques est interdit. Durée : 1h30 -Barème \emph{indicatif} : \textcolor{red}{à remplir}. +Barème \emph{indicatif} : 8+8+4. \ifcorrige -Ce corrigé comporte \textcolor{red}{à remplir} (page de garde incluse) +Ce corrigé comporte 9 pages (page de garde incluse) \else -Cet énoncé comporte \textcolor{red}{à remplir} (page de garde incluse) +Cet énoncé comporte 4 pages (page de garde incluse) \fi +\vfill + +{\tiny\noindent +\immediate\write18{sh ./vc > vcline.tex} +Git: \input{vcline.tex} +\immediate\write18{echo ' (stale)' >> vcline.tex} +\par} + \pagebreak |