Validated Numerical Hensel Lifting. - Florent Bréhard; Jasmin Krüger; Adrien Poteaux; Arthur Vinciguerra (Math. Comput. Sci., 2026)