Envoyer par SMS: The autonomy of mathematical knowledge