Covid-19 : faut-il rendre la vaccination obligatoire pour éviter une quatrième vague à l'automne ?