Американский астроном К.Дэвидсон считал, что, кроме планет, у нашего Солнца должен быть еще один спутник-звезда, масса которой 0,01-0,001 массы Солнца. Какое дьявольски точное название предложил для нее Дэвидсон?