;; CLTL 2 et 2.15

;; TODO : est-ce que cette fonction existe ?
(defun tp (x) t)

;; TODO : est-ce que cette fonction existe ?
(defun nilp (x) nil)