Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples — Jean-Pierre Jouannaud