gistfile1.sls

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

(defun meval-progn (list env)
  (if (endp list)
      nil
      (if (endp (cdr list))
          (meval (car list) env)
          (progn
             (meval (car list) env)
             (meval-progn (cdr list) env)))))

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