Source: https://www.imo.universite-paris-saclay.fr/~olivier.henard/TD2_2019_corr.pdf