Envoyer par SMS: A relational theory of computing /