Rives , La logique et le synode.