Source: https://michel.parpere.pagesperso-orange.fr/pedago/sq3_argumentation/Zadig/cours/Zadig_I_cours.pdf