Next step was making a prototype fan to force cool air in the case. Made that fast and dirty out of cardboard, a noctua 8cm and 12V power supply. It is quite noisy, and the temperatures don't really improve: the gain is barely 2°C, not worth the noise. Here is a cpu-Z stress run, then cinebencg multi and single core. The CPU stayed locked at x31T.