Envoyer par SMS: Deducibility and decidability