Existe-t-il une manière "canonique" de procéder? J'utilise head -n | tail -1ce qui fait l'affaire, mais je me demande s'il existe un outil Bash qui extrait spécifiquement une ligne (ou une plage de lignes) d'un fichier. Par "canonique", j'entends un programme dont la fonction principale est de...