\newif\ifimagen\imagentrue
\documentclass[semlcmss,sem-a4]{seminar}
\newcommand{\thepicture}{{\center\mbox{}{\box\graph}\mbox{}\endcenter}}
\newcommand{\apicture}{{\mbox{}{\box\graph}\mbox{}}}
\usepackage{hevea}
\usepackage[latin1jk]{inputenc}
\usepackage[french]{babel}
                      % hack ->hevea
\makeatletter
\let\accent@spacefactor\relax

                      % hack ->hevea
\makeatother
\usepackage{epsf}
\usepackage{epsfig}
\usepackage{graphics,color}
\newcommand{\mypdfimage}[1]{\mbox{\pdfimage #1
\vspace*{-3ex}}}
\newcommand{\gifimage}[1]{}
\def\printlandscape{\special{landscape}}
\newcounter{exoNum}
\setcounter{exoNum}{1}
\newcommand{\exoplus}{\arabic{exoNum}{\addtocounter{exoNum}{1}}}
\newcommand{\exercice}{{\normalsize\colorExercice Exercice \exoplus\hspace{1ex}}}
\newcommand{\patch}{\global\parskip= 0.2ex}
\newcommand{\arr}{\rightarrow}
\newcommand{\ans}[1]{\orchidBis{#1}}
\newcommand{\commentb}[1]{{\bf\orchidBis{#1}}}
\newcommand{\lac}{$\lambda$-calcul}
\newcommand{\es}{explicit substitutions}
\newcommand{\x}{\lambda x}
\newcommand{\y}{\lambda y}
\newcommand{\z}{\lambda z}
\newcommand{\type}{{\,:\,}}
\newcommand{\goes}{\rightarrow}
\newcommand{\subst}[1]{[\hspace{-.24ex}[ #1 ]\hspace{-.27ex}]}
\newcommand{\rby}{\backslash}
\newcommand{\becomes}{:=}
\newcommand{\tolambda}[1]{\{#1\}}
\newcommand{\nexthyp}{\quad}
\newcommand{\infrule}[2]{{{\mbox{\small$ #1$}} \over {\mbox{\small$ #2$}}}}
\newcommand{\axiom}[1]{#1}
\newcommand{\notfreein}{\mathrel{\mbox{\tiny not free in}}}
\newcommand{\linearin}{\mathrel{\mbox{\tiny linear in}}}
\newcommand{\doesnotbind}{\mathrel{\mbox{\tiny does not bind}}}
\newcommand{\If}{\mathrel{\hbox{if}}}
\newcommand{\Implies}{\mathrel{\hbox{implies}}}
\newcommand{\Domain}{\mathop{\hbox{\it domain}}}
\newcommand{\Otherwise}{\mathrel{\;\hbox{otherwise}}}
\newcounter{thmcounter}
\newenvironment{defn}{{\colorItem\normalsize Définition
               \addtocounter{thmcounter}{1}\thethmcounter\hspace{1ex}}}{}
\newenvironment{thm}{{\colorItem\normalsize Theorem 
               \addtocounter{thmcounter}{1}\thethmcounter\hspace{1ex}}}{}
\newenvironment{fact}{{\colorItem\normalsize Fact
               \addtocounter{thmcounter}{1}\thethmcounter\hspace{1ex}}}{}
\newenvironment{prop}{{\colorItem\normalsize Proposition
               \addtocounter{thmcounter}{1}\thethmcounter\hspace{1ex}}}{}
\newenvironment{cor}{{\colorItem\normalsize Corollary\hspace{1ex}}}{}
\newcommand{\preuve}{{\orchidBis Démonstration}\hspace{1ex}}
\newcommand{\entails}{\mathrel{\raisebox{-.25ex}{$\vdash$}}}
\newcommand{\mylet}{\mathop{\mathtt{let}\,}}
\newcommand{\myletrec}{\mathop{\mathtt{letrec}\,}}
\newcommand{\myin}{\mathrel{\mathtt{in}}}
\newcommand{\myint}{\mathop{\mathtt{int}}}
\newcommand{\myif}{\mathop{\mathtt{ifz}}}
\newcommand{\mythen}{\mathrel{\mathtt{then}}}
\newcommand{\myelse}{\mathrel{\mathtt{else}}}
\newcommand{\myfun}{\mathop{\mathtt{fun}}}
\newcommand{\mylist}{\mathop{\mathtt{list}}}
\newcommand{\mynil}{\mathop{\mathtt{nil}}}
\newcommand{\mycons}{\mathrel{\mathtt{::}}}
\newcommand{\myhd}{\mathop{\mathtt{hd}}}
\newcommand{\mytl}{\mathop{\mathtt{tl}}}
\newcommand{\myifn}{\mathop{\mathtt{ifnil}}}
\newcommand{\mytrue}{\mathop{\mathtt{vrai}}}
\newcommand{\myfalse}{\mathop{\mathtt{faux}}}
\newcommand{\myiszero}{\mathop{\mathtt{zero}}}
\newcommand{\id}{\mathop{\mathit{id}}}
\newcommand{\myfact}{\mathop{\mathtt{fact}}}
\newcommand{\const}[1]{\underline{#1}}
\newcommand{\myone}{\const{1}}
\newcommand{\mytwo}{\const{2}}
\newcommand{\mythree}{\const{3}}
\newcommand{\myfour}{\const{4}}
\newcommand{\myerr}{\mathop{\mathtt{err}}}
\newcommand{\shift}{\makebox[1ex]{{\small $\uparrow$}}}
\newcommand{\comp}{\circ}
\newcommand{\var}[1]{\underline{#1}}
\newcommand{\Int}{\mathop{\mathtt{integrale}}}
\newcommand{\myeval}{\mathit{eval}}
\def\slidelabel{\footnotesize\bf Planche \theslide}
\newcommand{\bigline}{\noindent\rule{\textwidth}{.25mm}}
\newcommand{\heading}[1]{%
    \makebox[\textwidth]{\Large\sf\bf\colorHeading #1}\\[-1.5ex]
\small}
\newcommand{\headingBis}[1]{{\large\sf\colorItem #1}}
\definecolor{red}{rgb}{1,0,0}\definecolor{cyan}{rgb}{0,1,1}\definecolor{cyanBis}{rgb}{0.03,0.56,.68}\definecolor{cyanTer}{rgb}{0.13,0.43,0.52}\definecolor{green}{rgb}{0,1,0}\definecolor{greenBis}{rgb}{0.0,0.55,0.0}\definecolor{orchid}{rgb}{0.855,0.439,0.839}\definecolor{orchidBis}{rgb}{0.76,0,0.67}\definecolor{blueBis}{rgb}{0,0.05,1}\definecolor{orange}{rgb}{1.000,0.647,0.000}\definecolor{darkorange}{rgb}{1.000,0.549,0.000}\definecolor{DarkOrange}{rgb}{1.000,0.549,0.000}\definecolor{DarkOrangeBis}{rgb}{.249,.129,.006}\definecolor{brownBis}{rgb}{.73,.46,.17}\definecolor{yellow}{rgb}{.90,.90,0}\definecolor{blueSky}{rgb}{.10,.25,.28}\definecolor{black}{rgb}{.0,.0,.0}\newcommand{\red}{\color{red}}
\newcommand{\black}{\color{black}}
\newcommand{\cyan}{\color{cyan}}
\newcommand{\cyanBis}{\color{cyanBis}}
\newcommand{\cyanTer}{\color{cyanTer}}
\newcommand{\blue}{\color{blue}}
\newcommand{\blueBis}{\color{blueBis}}
\newcommand{\green}{\color{green}}
\newcommand{\greenBis}{\color{greenBis}}
\newcommand{\DarkOrange}{\color{DarkOrange}}
\newcommand{\DarkOrangeBis}{\color{DarkOrangeBis}}
\newcommand{\orchid}{\color{orchid}}
\newcommand{\orchidBis}{\color{orchidBis}}
\newcommand{\orange}{\color{orange}}
\newcommand{\darkorange}{\color{darkorange}}
\newcommand{\brownBis}{\color{brownBis}}
\newcommand{\blueSky}{\color{blueSky}}
\newcommand{\yellow}{\color{yellow}}
\newcommand{\redOne}{\black}
\newcommand{\m}[1]{{\red $#1$}}
\def \({\bgroup\red $}
\def \){$\egroup}
\usepackage{listings}
\newcommand{\itemW}{\adviwait\item}
\newcommand{\itemB}{\item[{\DarkOrange $\bullet$}]}
\newcommand{\itemBW}{\adviwait\item[{\DarkOrange $\bullet$}]}
\usepackage{bubble}
\usepackage{hyperref}
\usepackage{advi}
\usepackage{advi-annot}
\usepackage{advi-graphicx}
\usepackage{superpose}
\newcommand{\urlbis}[2]{\advirecord{#1}{%
\adviembed[name=netscape; height=0mm]{
netscape -remote openURL(#2)}}
\advianchor[click,invisible]{#1}{\url{#2}}
}
\newcommand{\titreHaut}[1]{%
{\large \bf Inf 431 -- Cours #1\\[2ex]}}
\newcommand{\titre}[1]{{%
{\huge\bf\colorHeading #1}\\}}
\newcommand{\titreBas}{\normalsize \bigskip
{\red \urlbis{author}{jeanjacqueslevy.net}}\\[2ex]

{\tiny secrétariat de l'enseignement:\\
Catherine Bensoussan\\
{\red\tt \mailto{cb@lix.polytechnique.fr}} \\
Aile 00, LIX,\\
01 69 33 34 67
\\[2ex]}
{\small\urlbis{cours}{www.enseignement.polytechnique.fr/informatique}}}
\usepackage{../include/colors-clear}
\usepackage{eurosym}
\usepackage{superpose}
\usepackage{colortbl}
\usepackage{hyperref}
\usepackage{advi}
\usepackage{advi-annot}
\usepackage{advi-graphicx}
\usepackage{superpose}
\newcommand{\urlter}[3]{\advirecord{#1}{%
\adviembed[name=netscape; height=0mm]{%
netscape -remote openFile(#2)}}%
\advianchor[click]{#1}{#3}%
}

\pagestyle{empty}
\begin{document}
\newcommand{\WHILE}{\mbox{\sf\colorKeyword while}\;}
\newcommand{\DO}{\;\mbox{\sf\colorKeyword do}\;}
\newcommand{\AND}{\;\mbox{\sf\colorKeyword and}\;}
\newcommand{\OR}{\;\mbox{\sf\colorKeyword or}\;}
\newcommand{\WAIT}{\;\mbox{\sf\colorKeyword wait}\;}
\newcommand{\IF}{\;\mbox{\sf\colorKeyword if}\;}
\newcommand{\THEN}{\;\mbox{\sf\colorKeyword then}\;}
\newcommand{\ELSE}{\;\mbox{\sf\colorKeyword else}\;}
\newcommand{\BEGIN}{\;\mbox{\sf\colorKeyword begin}\;}
\newcommand{\END}{\;\mbox{\sf\colorKeyword end}\;}
\newcommand{\pair}[2]{\langle #1,\; #2 \rangle}
\newcommand{\SKIP}{\mbox{\sf\colorKeyword skip}\;}
\newcommand{\TRUE}{\mbox{\sf\colorKeyword true}\;}
\newcommand{\FALSE}{\mbox{\sf\colorKeyword false}\;}
\newcommand{\AWAIT}{\mbox{\sf\colorKeyword await}\;}
\newcommand{\turn}{\mbox{\em turn}}
\newcommand{\ass}{:=}
\newcommand{\para}{\mid\mid}
\newcommand{\tab}[3]{\multicolumn{#1}{l}{}&
                     \multicolumn{#2}{l}{{#3}}}
\newcommand{\pic}{$\pi$-calculus}
\newcommand{\acquire}{\mathop{\mathit{acquire}}}
\newcommand{\release}{\mathop{\mathit{release}}}
\newcommand{\assert}[1]{{\orchidBis \{#1\}}}
\newcommand{\actif}{\mathop{\it actif}}
\newcommand{\tour}{\mathop{\it turn}}
\newcommand{\CO}{\mathit{c}}
\epsfig{file=fig/philosophes.eps,scale=.35}
\clearpage% page: 0

\end{document}
