Quadratic forms in infinite dimensional vector spaces. Progress in mathematics;