La logique des noms propres