Near-Optimal Parameterization of the Intersection of Quadrics : IV . An Efficient and Exact Implementation Sylvain Lazard —