Vey theorem, Birkhoff normal form, KdV, higher KdV equations