Source: https://www.normalesup.org/~glafon/carnot09/exos_ensembles_cor.pdf