$PDA

le est à nouveau empilé