Comment appelle-t-on le pompage du moût fini de la cuve à moût dans le whirlpool ou l’installation correspondante ?