Envoyer par SMS: Playing with LEGO and proving theorems