La logique intensionnelle et l'héritage de Frege en sémantique