Envoyer par SMS: Automated deduction - CADE-24