what is the difference between haricot verts and green beans?

what is the difference between haricot verts and green beans?