Gross–Neveu model