2 http://www-rocq.inria.fr/gamma/medit/medit.html