[awk] Récupérer le nombre de ligne total de la variable NR

Version imprimable