Source: https://lipn.univ-paris13.fr/~gerard/docs/cours/merise-slides.pdf