Correction defun & ajout de set-defun