Instructions for test.

1 files changed, 12 insertions, 9 deletions

diff --git a/controle-20250129.tex b/controle-20250129.tex
index b78c71c..825e326 100644
--- a/controle-20250129.tex
+++ b/controle-20250129.tex
@@ -73,13 +73,11 @@
 
 \noindent\textbf{Consignes.}
 
-\textcolor{red}{À revoir.}
-
-Les exercices et le problème sont totalement indépendants.  Ils
-pourront être traités dans un ordre quelconque, mais on demande de
-faire apparaître de façon très visible dans les copies où commence
-chaque exercice (tirez au moins un trait sur toute la largeur de la
-feuille entre deux exercices).
+Les exercices et le problème sont totalement indépendants les uns des
+autres.  Ils pourront être traités dans un ordre quelconque, mais on
+demande de faire apparaître de façon très visible dans les copies où
+commence chaque exercice (tirez au moins un trait sur toute la largeur
+de la feuille entre deux exercices).
 
 Les questions du problème dépendent les unes des autres, mais ont été
 rédigées de manière à ce que chacune donne toutes les informations
@@ -94,6 +92,11 @@ sera pas nécessaire de tout traiter pour avoir le maximum des points.
 
 \medbreak
 
+Les exercices 1 à 4 portent sur Coq.  L'exercice 5 porte sur le calcul
+propositionnel.  Le problème final porte sur la calculabilité.
+
+\medbreak
+
 L'usage de tous les documents écrits (notes de cours manuscrites ou
 imprimées, feuilles d'exercices, livres) est autorisé.
 
@@ -107,9 +110,9 @@ Barème \emph{approximatif} et \emph{indicatif} (sur $20$) :
 \textcolor{red}{à écrire}.
 
 \ifcorrige
-Ce corrigé comporte \textcolor{red}{à compléter} pages (page de garde incluse).
+Ce corrigé comporte 14 pages \textcolor{red}{(à revérifier)} (page de garde incluse).
 \else
-Cet énoncé comporte \textcolor{red}{à compléter} pages (page de garde incluse).
+Cet énoncé comporte 8 pages \textcolor{red}{(à revérifier)} (page de garde incluse).
 \fi
 
 \vfill