Pass sanitaire, vaccination des mineurs : ce que les sénateurs ont modifié dans le projet de loi