Source: https://people.montefiore.uliege.be/boigelot/cours/info/ex/exam-3.pdf