Définitionséradicable