Système déductif dans le contexte de données réparties — Isabelle Robert de Saint Victor