1: \begin{abstract}
2: In the present paper, we prove that no infinite group
3: acts isometrically, effectively, and properly discontinuously on a certain class of Lorentzian manifolds
4: %which contains the de Sitter space.
5: that are not necessarily homogeneous.
6: \end{abstract}
7: