nom→ masculin→. [débogage]. Voir dump (nettement plus courant, mais vidage est le terme officiellement préconisé).