Validated Root Enclosures for Interval Polynomials with Multiplicities. - Florent Bréhard; Adrien Poteaux; Léo Soudant (ISSAC, 2023)