Envoyer par SMS: A Mathematical Theory of Global Program Optimization. /