\documentclass[a4paper]{book}
\usepackage[francais]{babel}
\usepackage{fullpage}
\usepackage{isolatin1}
\usepackage{makeidx}
\usepackage{colordvi}
\usepackage{html}
\usepackage{epsfig}
\usepackage{here}
\usepackage{moreverb}

\newcommand{\altarica}{{\sc AltaRica}}
\newcommand{\acheck}{{\tt acheck}}

\begin{document}

\title{\altarica\\Étude de quelques protocoles}

\author{Alain Griffault}

\maketitle

\tableofcontents
\listoffigures

\newcommand{\modele}{ABP}
\newcommand{\nodename}{}
\newcommand{\nodefilename}{}


\input{probleme}

\input{abp}


%\input{conclusion}

%\bibliographystyle{alpha} %splncs
%\bibliography{altarica}

%\appendix

\end{document}
