How to classify **K3 surfaces** over an arbitrary field *k*?