décimal colonne awk à entier
# parenthesize float variable w/ int()
awk -F ' ' '{print $1" "$2" "int($3)}' data.lst
# NOTE: trims off decimal values, does not round
Rich Raccoon