发送短信: Eléments de logique classique.