Source: https://www.imo.universite-paris-saclay.fr/~benjamin.auder/teachings/probas/cc2016-2-corr.pdf