Logique des propositions/Référents