Projective push-forwards in the Witt theory of algebraic varieties

We define push-forwards along projective morphisms in the Witt theory of smooth quasi-projective varieties over a field. We prove that they have standard properties such as functoriality, compatibility with pull-backs and projection formulas.