Source: https://www.normalesup.org/~glafon/maths/pcsi/exos_logiquecor.pdf