Title: La logique symbolique