SMS versenden: Lecons de logique formelle