Z:gnu-gawk--be5696-`=25s' is a gawk extension/fr

« %s » est une extension gawk