Thanks, everyone. Having this information makes me feel better. I’ve also contacted the French side tourism office to ask about procedures if tourists feel they are getting sick.