Mijoté de choux et haricots rouges