Validated Numerics for Algebraic Path Tracking. - Alexandre Guillemot; Pierre Lairez (ISSAC, 2024)