commande awk-fichier vide

Version imprimable