6 \select@language{french}
7 \@writefile{toc}{\select@language{french}}
8 \@writefile{lof}{\select@language{french}}
9 \@writefile{lot}{\select@language{french}}
10 \@writefile{toc}{\contentsline {section}{\numberline {1}QCM (1h45)}{1}}
11 \newlabel{enum:term1}{{1}{2}}[None]
12 \newlabel{enum:term3}{{2}{2}}[None]
13 \newlabel{enum:term1a}{{1}{5}}[None]
14 \newlabel{enum:term3a}{{2}{5}}[None]
15 \newlabel{enum:term1b}{{1}{5}}[None]
16 \newlabel{enum:term3b}{{2}{5}}[None]
17 \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Graphe \IeC {\`a} mod\IeC {\'e}liser en Prolog }}{6}}
18 \newlabel{Fig:graph}{{1}{6}}[None]
19 \@writefile{toc}{\contentsline {section}{\numberline {2}Raisonnements \IeC {\'e}crits (1h15)}{6}}
20 \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Calcul des pr\IeC {\'e}dicats}{6}}
21 \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Prolog}{6}}
22 \@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.1}Graphe}{6}}
23 \@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.2}Liste d'entiers naturels}{7}}
24 \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}D\IeC {\'e}duction syntaxique}{7}}
