Apparently Haricot bean is the same as a navy bean, I thought a navy bean was more like a butter bean or Lima bean. . Now I always thought a Lima bean in the US was the same as a runner bean, but it seems I was wrong again.
Giok