0024766: Wrong result for distmini between a TopoDS_Shell and a TopoDS_Edge on versio...