diff --git a/DiaposSoutenance.tex b/DiaposSoutenance.tex index 796e925..7c9805f 100644 --- a/DiaposSoutenance.tex +++ b/DiaposSoutenance.tex @@ -199,8 +199,9 @@ \makeatother \setbeamertemplate{itemizeitem}{\scriptsize$\diamond$} -\newcommand\sectocframe{ +\newcommand\sectocframe[1][]{ \begin{frame} + \pdfpcnote{#1} \tableofcontents[currentsection,hideothersubsections,sections=\value{section}] \end{frame} } @@ -247,7 +248,7 @@ \end{center} \pause \[\fj{new Paire((D)new B().get(), new C(new A())).snd.apply()}\] - \pdfpcnote{Distinction ouvert/ferme} + \pdfpcnote{Distinction ouvert/ferme\\Définition valeur} \end{frame} \subsection{Ses structures} \begin{frame} @@ -321,7 +322,7 @@ \end{frame} \section{Notre problème} - \sectocframe + \sectocframe[4:45] \subsection{Qu'est-ce qu'une équivalence} \begin{frame} \begin{exampleblock}{Sens} @@ -360,7 +361,7 @@ \end{frame} \section{Une nouvelle structure} - \sectocframe + \sectocframe[7:20] \subsection{Comparer uniquement les CT} \begin{frame} \begin{center} @@ -403,6 +404,7 @@ \end{itemize} \end{frame} \begin{frame} + \pdfpcnote{9:30} \begin{center} \large\only<1>{Compilation (typage)}\only<2>{Execution (réduction)} \end{center} @@ -496,7 +498,7 @@ \section{Les valeurs infinies} - \sectocframe + \sectocframe[15:00] \subsection{Qu'est-ce qu'un context lemma} \begin{frame} @@ -596,6 +598,7 @@ \section{Conclusion} \subsection{Conclusion} \begin{frame} + \pdfpcnote{18:30} \begin{exampleblock}{Résumé} \begin{itemize}[<+->] \item On a créé un préordre