nom propre→. [commande]. Fonction classique, renvoyant le prédécesseur d'un élément d'un ensemble ordonné, par exemple une liste. Inverse : succ.
