Source: https://www.imo.universite-paris-saclay.fr/~moreau/M41-cours-2019.pdf