summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--controle-20190205.tex22
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