Opacité référentielle et quantification une introduction à la sémantique intensionnelle - Mutombo, Marc (Lang, 1998)