gnocchis aux haricots verts