\documentclass{amsart}
\usepackage{amsfonts, amssymb, amsmath,amscd}
\usepackage{graphicx}
\usepackage[T1]{fontenc}
\usepackage[latin1]{inputenc}
\usepackage[a4paper]{geometry}
\usepackage{lmodern}
\usepackage{listings}
\usepackage{xcolor}
\usepackage[frenchb]{babel}
\usepackage{multicol}
%%% PDF 
\usepackage{ifpdf}
\ifpdf
  \usepackage[pdftex ,colorlinks=true,
        urlcolor=blue,
        citecolor=blue,
        pdfstartview=FitH]{hyperref} 
\else
  \usepackage[dvips]{color}
  \usepackage[pagebackref,%
              colorlinks=true,urlcolor=blue,citecolor=blue]{hyperref}
\fi

%%% Algorithmes / listings %%%%%%%%%%%%%%%
\lstdefinelanguage{palgo}{%
  morekeywords={debut,fin, variable, 
                si,alors,sinon, fsi, 
                tantque,faire,ftq,
                retourner
  },
  sensitive=true,
  morecomment=[l]{\#},
  morestring=[b]`,
  numbers=left,
  frame=single,
}

\lstdefinelanguage{make}{%
  morekeywords={},
  sensitive=true,
  morecomment=[l]{\#},
  morestring=[b]`,
  tabsize=1,
  backgroundcolor=\color{lightgray}
}

\lstdefinelanguage{plot}{%
  morekeywords={},
  sensitive=true,
  morecomment=[l]{\#},
  morestring=[b]`
}

\lstset{% general command to set parameter(s)
   basicstyle=\small,          % print whole listing small
   keywordstyle=\color{black}\bfseries,
                               % underlined bold black keywords
   identifierstyle=,           % nothing happens
   commentstyle=\color{white}, % white comments
   stringstyle=\ttfamily,      % typewriter type for strings % language=C,
   emphstyle=\color{red},      % 
   showstringspaces=false,     % no special string spaces,
   literate={{::}{{$\leftrightarrow$}}{2}{:=}{{$\leftarrow$}}{2}{<=}{{$\le$}}{2}{>=}{{$\ge$}}{2}}
}

%%% macros
\newtheorem{theoreme}{Th\'eorème}
\newtheorem{definition}{D\'efinition}
\newtheorem{conjecture}{Conjecture}
\newtheorem{proposition}{Proposition}
\newtheorem{lemme}{Lemme}
\newtheorem{corollaire}{Corollaire}
\newtheorem{remarque}{Remarque}
\newtheorem{exercice}{Exercice}
\def\contribution#1#2{%
\hfill\textsc{#1}\quad{#2}
}
\def\voirtable#1{\textsc{Tab. (\ref{#1})}}
\def\siecle#1{\textsc{\romannumeral#1}-i\`eme si\`ecle}
\font\teni=cmmi10
\def\annee#1{{\teni #1}}

\def\siecle#1{\textsc{\romannumeral#1}-i\`eme si\`ecle}
\def\annee#1{{\teni #1}}

\definecolor{darkgreen}{rgb}{0,0.4,0}

\def\algo#1{\texttt{\textcolor{blue}{\rm #1}}}
\def\gcc#1{\texttt{\textcolor{blue}{#1}}}
\def\shell#1{\texttt{\textcolor{darkgreen}{#1}}}
\def\tty#1{\texttt{\textcolor{magenta}{#1}}}
\def\pgcd{{\textsc{pgcd}}}
\def\nullptr{\textsc{null}}

\def\N{\mathbb N}
\def\bigo{{\rm O}}
\def\R{\mathbb R}
\def\F{\mathbb F}
\def\P{\mathcal P}
\def\C{\mathbb C}
\def\Z{{\mathbb Z}_2}
\def\prob{{\rm Prob}}
\def\abs#1{{\vert{#1}\vert}}
\def\card#1{\vert #1\vert}
\def\voirfig#1{Fig. (\ref{#1})}
\def\voirpropo#1{Prop. (\ref{#1})}
\def\wt{{\rm wt}\,}
\def\iff{{\,\Leftrightarrow}\,}
\def\liff{\,{\Longleftrightarrow}\,}
\def\binome#1#2{{\rm C}^{#1}_{#2}}
%%%
\title{Preuves et Analyses des Algorithmes}
\date \today %%{Ann\'ee Universitaire 2009}


\begin{document}

\maketitle

\begin{abstract}
Les \'etudiants de la deuxi\`eme ann\'ee de licence d'informatique de 
la facult\'e des sciences et techniques de l'universit\'e de Toulon sont
sollicit\'es pour la r\'edaction de ce document au format \LaTeX.
\end{abstract}


{\bf Contributions :} 
Jean-Louis Bosio, Philippe Langevin.

\tableofcontents

\newpage
\input introduction.tex

\input asympt.tex
\input fibrecvsiter.tex
\input addition.tex
\newpage
\section{Algorithmes multiplicatifs}
\newpage
\section{Division euclidienne}
\input fibnombre.tex
\newpage
\input dichotomie.tex
\newpage
\section{Tri par comparaison}
\newpage
\section{Tri lin\'eaire}
\newpage
\section{Calcul du PGCD}
\input Euclide.tex
\input EuclideEtendu.tex
\input RabinMiller.tex
\newpage
\section{Logique de Hoare}
\nocite{*}
\bibliographystyle{plain}
\bibliography{palgo-cours}



\end{document} 
