1 files changed, 14 insertions, 7 deletions
diff --git a/transp-inf110-03-quantif.tex b/transp-inf110-03-quantif.tex
index 770627e..8afb00c 100644
--- a/transp-inf110-03-quantif.tex
+++ b/transp-inf110-03-quantif.tex
@@ -1,7 +1,13 @@
 %% This is a LaTeX document.  Hey, Emacs, -*- latex -*- , get it?
+\newif\ifbeamermode
+\beamermodetrue
+\ifbeamermode
 \documentclass[mathserif,a4paper,aspectratio=169]{beamer}
-%\documentclass[a4paper]{article}
-%\usepackage{beamerarticle}
+\else
+\documentclass[a4paper]{article}
+\usepackage{beamerarticle}
+\usepackage[a4paper,margin=2.5cm]{geometry}
+\fi
 \usepackage[shorthands=off,french]{babel}
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
@@ -49,19 +55,20 @@
     \newcommand{\myitemmark}{\hbox{$\blacktriangleright$}}
     \renewcommand{\itempoint}{\strut\myitemmark\nobreak\hskip.5em plus.5em\relax}
     \setlength{\parindent}{0pt}
+    \renewcommand{\thepage}{III–\arabic{page}}
 }
 %
 %
 %
-\title{Introduction aux quantificateurs}
+\title{{\footnotesize Partie III:} Introduction aux quantificateurs}
 \subtitle{INF110 (Logique et Fondements de l'Informatique)}
 \author[David Madore]{David A. Madore\\
 {\footnotesize Télécom Paris}\\
 \texttt{david.madore@enst.fr}}
-\date{2023–2024}
+\date{2023–2025}
 \mode<presentation>{%
 \beamertemplatenavigationsymbolsempty
-\usenavigationsymbolstemplate{\vbox{\hbox{\footnotesize\hyperlinkslideprev{$\leftarrow$}\insertframenumber/\inserttotalframenumber\hyperlinkslidenext{$\rightarrow$}}}}
+\usenavigationsymbolstemplate{\vbox{\hbox{\footnotesize(III) \hyperlinkslideprev{$\leftarrow$}\insertframenumber/\inserttotalframenumber\hyperlinkslidenext{$\rightarrow$}}}}
 }
 \setbeamercolor{myhighlight}{fg=black,bg=white!90!green}
 \colorlet{mydarkgreen}{green!50!black}
@@ -701,7 +708,7 @@ des couples, fonctions, etc., des individus).
 \itempoint Néanmoins, elle a une \alert{grande importance
   mathématique} car le dogme « orthodoxe » est que :
 \begin{center}
-Les mathématiques se font dans la « théorie des ensembles\\de
+Les mathématiques se font dans la « théorie des ensembles\\ de
 Zermelo-Fraenkel en logique du premier ordre » ($\mathsf{ZFC}$).
 \end{center}
 
@@ -1406,7 +1413,7 @@ f(n,u_n)$, ou en OCaml
 
 {\footnotesize\tt
 let recurr = fun c -> fun f -> let rec u = fun n -> if n==0 then c
-else f (n-1) (u (n-1)) in u ;;\\
+else f (n-1) (u (n-1)) in u ;;\newline
 {\color{purple}val recurr : 'a -> (int -> 'a -> 'a) -> int -> 'a = <fun>}
 \par}