Envoyer par SMS: On computing limits in a symbolic manipulation system /