Source: http://math.univ-lyon1.fr/~guillotin/exos-mart.pdf