  Let X be a tight t-design of dimension n for one of the open cases t=5 or
t=7. An investigation of the lattice generated by X using arithmetic theory of
quadratic forms allows to exclude infinitely many values for n.
