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