  This article extends Bayer-Fluckiger's theorem on characteristic polynomials
of isometries on an even unimodular lattice to the case where the isometries
have determinant $-1$. As an application, we show that the logarithm of every
Salem number of degree $20$ is realized as the topological entropy of an
automorphism of a nonprojective K3 surface.
