Michael Smith effectue un nine-dart finish, une première depuis 2017