\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}Cours (3pts) }{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}(5 pts) Simplification de formules bool\IeC {\'e}ennes (d'apr\IeC {\`e}s sujet de BTS-IG-2008)}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}(6 pts) D\IeC {\'e}monstrations ensemblistes}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {4}(6 pts) Relation entre puissances d'\IeC {\'e}l\IeC {\'e}ments}{1}}