Second-microlocalization and asymptotic expansions