SMS dit: La logique des noms propres