Etude de l'intégration de PEARLS, processeur expérimental d'aide à la recherche dans les langages symboliques — Cécile Koester