Vacciné puis infecté à l'automne: vaut-il mieux attendre six mois avant une troisième dose?