Synthèse logico-symbolique et dépendance