Extraire des lignes d'un fichier en commande bash

Version imprimable