Fix the random bug on intersection3D thanks to update from CGAL