3D mixing in hot Jupiters atmospheres - I. Application to the day/night cold trap in HD 209458bVivien Parmentier, Adam P. Showman and Yuan LianA&A, 558 (2013) A91DOI: https://doi.org/10.1051/0004-6361/201321132