Source: http://pauillac.inria.fr/~cheno/taupe/cours.pdf