发送短信 : L'emergence d'un théorème logique :