Vaccination des plus de 75 ans : ce que l'on sait du numéro coupe-file qui va être mis en place