awk ' {
  ligne[NR]=$0
}
END {
  printf"\n\t Equatoriales (1950) : %s %s\n\n",substr(ligne[7],2,8),\
                substr(ligne[8],3,7)
  printf"\t Galactiques (1950)  :  %s %s\n\n",substr(ligne[10],3,7),\
                substr(ligne[11],3,7)
} '