Résultats en direct de Arthur Rinderknech contre Alex Michelsen le 04/10 dans le tournoi ATP Shanghai, China Men Singles