And when do you use them?https://www.bonappetit.com/story/difference-between-haricot-verts-and-green-beans