The Structure of Trees in the Pushdown Hierarchy. - Arnaud Carayol; Lucien Charamond (ICALP, 2024)