Cours de Paul Gastin, travaux dirigés animés par Sylvain Schmitz. Département d'informatique de l'ENS Cachan, L3. Année 2008–2009.