Grève des policiers à Marseille : quels sont les services encore assurés