gistfile1.sls

(defun map-meval (list env)
  (mapcar (lambda (x) (meval x env)) list))

(defun meval-progn (list env)
  (let ((res (map-meval list env)))
    (nth (- (list-length res) 1) res)))

(defun meval (expr &optional env)
  "Interprète le langage intermédiaire passé en paramètre."
  (cond 
...
        ((match :progn (first expr))
         (meval-progn (cdr expr)))
...)