(define existe(lambda (L P)
                (if(null? L)
                   #f
                   (or(P (car L))
                      (existe  (cdr L) P) )
                   )  ))

(define quel_que_soit(lambda (L P)
                       (if(null? L)
                          #f
                          (and(P (car L))
                              (quel_que_soit (cdr L) P)
                              ))
                       ))


(define tous_egaux(lambda (L)
  (not(existe  L (lambda(x) (not( = x (car L)))
                        )
               ))))

(tous_egaux '(2 2 2 2 ))



(