La logique des noms propres - Kripke, Saul A (Propositions, 1982)