发送短信: Penser types plutôt qu'ensembles