  Using the localization property, we construct a triangulated category of
motives over quasi-projective T-schemes for any coefficient where T is a
noetherian separated scheme, and we prove the Grothendieck six operations
formalism. We also construct integral \'etale realization of motives.
