Properly discontinuous groups of affine transformations. Mathematical developments arising from Hilbert 18th problem