Source: https://halshs.archives-ouvertes.fr/halshs-01100159/file/Intro_dossier_logique_MB_AB 1_08.pdf