Title: Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples