summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-03-19 14:27:16 +0100
committerDavid A. Madore <david+git@madore.org>2018-03-19 14:27:16 +0100
commitf05cf471c2165ebf3bf7eb9bb0260aa5732680c7 (patch)
tree7ecdc205b12020888cbbd212c66b77ee6c263f9b
parent6f73fffb0e1ce6a5fa5f669e82ed51cccdc0e8c7 (diff)
downloadinf105-f05cf471c2165ebf3bf7eb9bb0260aa5732680c7.tar.gz
inf105-f05cf471c2165ebf3bf7eb9bb0260aa5732680c7.tar.bz2
inf105-f05cf471c2165ebf3bf7eb9bb0260aa5732680c7.zip
Prepare for printing.exam-20180322
-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