Hong Kong mask ban has precedent in France – but not Europe as a whole