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