Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives.