Henselian valued fields and inp-minimality - Artem Chernikov; Pierre Simon (2016)