Source: https://www.lirmm.fr/~grenet/enseignement/Algo1-11/TD07.pdf