What is the scope of validity of Kunneth formula for de Rham? In books like Bott-Tu or all pdf texts I have found on internet, the Kunneth formula for manifolds $M$ and $N$ and their de Rham cohomology
$$ H^{\bullet}_{dR}(M \times N) \simeq H^{\bullet}_{dR}(M) \otimes H^{\bullet}_{dR}(N)$$
is proved under various finiteness hypothesis : one of the two manifolds is compact, or with finite dimensional de Rham spaces, or admitting a finite good cover.
On another side, for singular cohomology of topological spaces $X$ and $Y$ and a PID $A$ (let's say $Z$) there is the following more general Kunneth formula :
$$H^n(X \times Y;A) \simeq (\sum_{i+j=n} H^i(X;A)\otimes H^j(Y;A))\oplus(\sum_{p+q=n+1} Tor(H^p(X;A),H^q(Y;A))$$
If $X$ and $Y$ are manifolds and we take $A \equiv \mathbb{R}$, the $H^p(X;\mathbb{R})$ ans $H^q(Y;\mathbb{R})$ are vector spaces, so the $Tor$ part is null, and using the de Rham theorem we end up with a Kunneth formula for de Rham without any finitenes hypothesis.
But Bott-Tu p 108 give an explicit counterexample to the Kunneth formula when both manifolds have infinite dimensional cohomology, and write "that some sort of finiteness hypothesis is necessary for Kunneth and Leray-Hirsch to hold".
So what is wrong with the Kunneth formula for de Rham "deduced" from kunneth for singular above ?
And what is the real scope of Kunneth formula for de Rham i.e. the minimal hypothesis for the formula to hold ?
 A: Let me convert my comment into an answer and add something:
I think the assumptions (good cover / compact) you mention are simply there to provide a simpler proof. If it's true for singular cohomology, then it's true for de Rham cohomology, by de Rham's theorem. I'm pretty sure the most general statement you can get for de Rham's cohomology is that you just want $H^k(Y)$ to be finite-dimensional for all $k$. CW is not even necessary (thanks to CW approximations), and "free" is automatic over a field (well, if you assume the axiom of choice I guess).
Note that this finiteness assumption is also necessary for general spaces, the Künneth formula you wrote is only valid when at least one of the two spaces have finite-type cohomology.
There is a Künneth formula for homology, which has no assumptions about finiteness, but if you pass to cohomology without finiteness assumptions, you run into problem. The actual statement for cohomology is $H^n(X \times Y; F) \cong \bigoplus_{i+j=n} H^i(X; H^j(Y;F))$ for a field $F$. But if $H^j(Y;F)$ is not finitely generated, you don't necessarily have $H^i(X; H^j(Y;F)) \cong H^i(X;F) \otimes_F H^j(Y;F)$. So there is no contradiction here.
