I forgot to mention that he was vaccinated in anticipation of the olympics, during a vaccination campaign for the whole French olympics delegation. It's ironic now that the vaccine is what will prevent him to be there...

The pressure to get vaccinated was coming from the IOC:
[link to www.japantimes.co.jp (secure)]

While Japanese organizers have said getting vaccinated for the coronavirus will not be required for people working at or participating in the Olympics or Paralympics, the IOC has stressed doing so will contribute to a safe and secure games being held amid the pandemic.
...
Japan’s Olympic athletes started receiving vaccine shots on June 1. The IOC has said 75% of prospective Olympic and Paralympic village residents have either already been vaccinated or are scheduled to be vaccinated, with the figure set to rise to over 80% when the games start.