Sur la dérivation symbolique et la programmation automatique dans un environnement orienté objet — Dominique Eyheramendy