Grève du 5 octobre : 85 400 personnes ont manifesté dans toute la France selon le ministère de l'Intérieur