Simple lemmas about pseudo-coherence on ringed spaces
Lemmas about pushforward of pseudo-coherent complexes
Revise section on relative pseudo-coherence

Argh! Original version was not compatible with SGA6!