awk ' {
  ligne[NR]=$0
}
END {
  printf" %s %s  %5.1f\n",substr(ligne[7],2,8),\
                substr(ligne[8],3,7),substr(ligne[20],5,4)
} '