  We study homological invariants of smooth families of real quadratic forms as
a step towards a "Lagrange multipliers rule in the large" that intends to
describe topology of smooth maps in terms of scalar Lagrange functions.
