commande nom propre→. [shell]. Contraction de C-shell, et nom de la commande permettant de lancer le shell en question. Voir aussi shell, tcsh.
