Envoyer par SMS: From foundations to philosophy of mathematics :