Grève générale le 12 mai - commentaires