Un Outil pour la généralisation utilisant systématiquement les theorèmes — Christel Vrain