Haricots rouges, haricots verts