Bases de données déductives — 4 œuvres