Source: https://www.lri.fr/~jcohen/documents/enseignement/exercices-NP.pdf