【公募】太陽系外の惑星の名付け親を募集…国際天文学連合 #9

フォーマルハウトは一番好きな名前の星だ
こいつを主星にしている惑星の名前は頑張って考えてみよっと