Source: http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/prepa/philo-fiches.pdf