Cliquer le lien http://pauillac.inria.fr/~fpottier/X/INF564/cours01.pdf pour ouvrir la ressource.