Grève du 23 mai à Bordeaux : des manifestants mettent le feu à la mairie