Quelle commande awk pour modifier des fichiers dynamiquement

Version imprimable