Source: https://math.univ-lyon1.fr/~altinel/Master/M1Logique/Printemps09/notlar0809.pdf