DESTRATIFICATEUR - n.m. :

[Chauf.] Dispositif de brassage d'air utilisé dans les locaux industriels comportant une grande hauteur sous plafond afin de limiter l'écart de température entre le sol et la partie haute des locaux.