Quitter un logiciel et le relancer est toujours le moyen le plus sûr de récupérer toute la mémoire qu'il occupe.