bon ok voila la fonction eval de MacCarthy: que je doit transformer

(defun eval.(e a)
(cond

((atom e) (assoc. e a))

((atom (car e))

(cond

((eq (car e) 'quote) (cadr e))

((eq (car e)'atom) (atom (eval. (cadr e) a)))

((eq (car e) 'eq ) (eq (eval. (cadr e) a)
(eval. (caddr e) a)))

((eq (car e) 'car) (car (eval. (cadr e) a)))

((eq (car e) 'cdr) (cdr (eval. (cadr e) a)))

((eq (car e) 'cons.) (cons (eval. (cadr e) a)
(eval. (caddr e) a)))

((eq (car e)'cond) (evcon. (cdr e) a))
(t (eval. (cons (assoc. (car e) a) (cdr e))
a)))))))

donc c'est dans ce même contexte que je doit utiliser un moyen pour definir un nouvelle fonction quand j'execute la fonction eval.
j'esper etre mainrenant assez claire pour pouvoir avoir de l'aide