Démocratie à Hong Kong : la bataille est désormais perdue. Mais elle aurait pu ne pas l'être