\documentclass[a4paper,frenchb,12pt]{book}
\usepackage{fullpage}
\usepackage{isolatin1}
\usepackage{makeidx}
\usepackage{amsmath}
\usepackage{colordvi}
\usepackage{html}
\usepackage{epsfig}
\usepackage{here}
\usepackage{moreverb}
%\usepackage[francais]{babel}

\usepackage{automata}

\newtheorem{Exo}{Exercice}
\newtheorem{Cor}{Correction de l'exercice}
\newtheorem{Que}{Question}[Cor]

\begin{document}

\input{exo1.tex}
\input{exo2.tex}

\end{document}
