發送短信 : Traité de logique;