TME2

from
http://www-apr.lip6.fr/~chaillou/Public/enseignement/2009-2010/ca/mk.ml