Source: http://www-lipn.univ-paris13.fr/~gayral/CoursMaster/semLexicaleCours2.pdf