Logique modale propositionnelle : une vue cavalière M. Eytan (1977) Mathématiques et Sciences Humaines