\relax 
\catcode`:\active
\catcode`;\active
\catcode`!\active
\catcode`?\active
\select@language{french}
\@writefile{toc}{\select@language{french}}
\@writefile{lof}{\select@language{french}}
\@writefile{lot}{\select@language{french}}
\@writefile{toc}{\contentsline {section}{\numberline {1}QCM (1h45)}{1}}
\newlabel{enum:term1}{{1}{2}}[None]
\newlabel{enum:term3}{{2}{2}}[None]
\newlabel{enum:term1a}{{1}{5}}[None]
\newlabel{enum:term3a}{{2}{5}}[None]
\newlabel{enum:term1b}{{1}{5}}[None]
\newlabel{enum:term3b}{{2}{5}}[None]
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Graphe \IeC {\`a} mod\IeC {\'e}liser en Prolog }}{6}}
\newlabel{Fig:graph}{{1}{6}}[None]
\@writefile{toc}{\contentsline {section}{\numberline {2}Raisonnements \IeC {\'e}crits (1h15)}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Calcul des pr\IeC {\'e}dicats}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Prolog}{6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.1}Graphe}{6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.2}Liste d'entiers naturels}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}D\IeC {\'e}duction syntaxique}{7}}