Envoyer par SMS: Semantics of digital circuits /