  We extend the construction of the category of 1-motivic sheaves (introduced
by Barbieri-Viale and Kahn) allowing quotients of connected algebraic k-groups
by formal k-groups. We show that its bounded derived category is equivalent to
the bounded derived category of the category of generalized 1-motives with
torsion introduced in a previous paper by Barbieri-Viale and the author.
