Port du masque obligatoire à Grenoble : les piétons ont-ils déserté le centre-ville ?