Envoyer par SMS: Towards a philosophy of real mathematics