Devices acting on, attached to, or simulating the effect of, vertebral facets; Tools therefor