nom propre→. Nom de la commande consistant à retirer un élément d'un haut d'une pile. Contraire push. Synonyme dépiler. Voir aussi POP.