Bases de données déductives, Laurent Vieille · Super Livre