Bases de données déductives — Laurent Vieille