Envoyer par SMS: Máquinas de turing para consistentes: