Envoyer par SMS: Popular lectures on mathematical logic