(defun inverte-tudo (lista)
(labels ((inverte-tudo-aux (lista lista-aux)
(cond ((null lista) lista-aux)
((atom lista) lista)
(t
(inverte-tudo-aux
(rest lista)
(cons (inverte-tudo (first lista))
lista-aux))))))
(inverte-tudo-aux lista nil)))