Définition de GAWK

Version GNU de AWK.