The product of several Hermite or Laguerre polynomials