Les Contraintes d'intégrité dans les systèmes déductifs — Yvon Marie-Sainte