Source: https://affordance.uqac.ca/ressources/DP14TypesRaisonnement.pdf