Awk argc et argv

Version imprimable