Invia SMS: Program specification a tranformation :