\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}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Programmation Prolog (0h30)}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Voyages}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Codage des entiers naturels}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {3}D\IeC {\'e}monstration syntaxique (45min)}{4}}