Source: https://math.univ-lille1.fr/~fricain/AGREGATION-INTERNE/seance3.pdf