  In this article we extend Deligne's construction of Grothendieck's six
operations on the derived category of torsion sheaves over the \'etale site of
a scheme for morphisms of finite type to a larger class of morphisms. This
class includes profinite \'etale coverings as well as separated morphisms
perfectly of finite type
