Source: https://lipn.univ-paris13.fr/~gayral/CoursMaster/semLexicaleCours1.pdf