awk, variable d'environnement et redirection

Version imprimable