Approche logique de la généralisation en présence de théorie du domaine.