On a theorem of Grothendieck

It is considered a smooth projective morphism $p\colon T\to S$ to a smooth variety $S$. It is proved, in particular, the following result. The total direct image $Rp_*(\mathbb Z/n\mathbb Z)$ of the constant étale sheaf $\mathbb Z/n\mathbb Z$ is locally for Zariski topology quasi-isomorphic to a bounded complex $\mathscr L$ on $S$ consisting of locally constant constructible étale $\mathbb Z/n\mathbb Z$-module sheaves.