Construction de réponses coopératives, à l'aide de contraintes d'intégrité, dans des bases de données logiques — Annie Gal