Le certificat Covid européen, mode d’emploi pour l’été