  We introduce a notion of derived Azumaya's algebras over rings and schemes.
We prove that any such algebra $B$ on a scheme $X$ provides a class $\phi(B)$
in $H^{1}_{et}(X,\mathbb{Z})\times H^{2}_{et}(X,\mathbb{G}_{m})$. We prove that
for $X$ a quasi-compact and quasi-separated scheme $\phi$ defines a bijective
correspondence, and in particular that any class in
$H^{2}_{et}(X,\mathbb{G}_{m})$, torsion or not, can be represented by a derived
Azumaya's algebra on $X$. Our result is a consequence of a more general theorem
about the existence of compact generators in \emph{twisted derived categories,
with coefficients in any local system of reasonable dg-categories},
generalizing the well known existence of compact generators in derived
categories of quasi-coherent sheaves of \cite{bv} (corresponding to the trivial
local system of dg-categories). A huge part of this paper concerns the correct
treatment of these twisted derived categories, as well as the proof that the
existence of compact generators locally for the fppf topology implies the
existence of a global compact generator.
