  We establish a new spectral inequality for the quantified estimation of the
$H^s$-norm, $s\ge 0$ of a finite linear combination of eigenfunctions in a
domain in terms of its $H^s$-norm in a strictly open subset of the whole
domain. The corresponding upper bound depends exponentially on the square root
of the frequency number associated to the linear combination.
