Кхе, я за Антонину, оно хоть не такое распространенное, как Полина. А вообще, пусть деть родится, тогда и решите, может ей ни одно из этих имен не пойдет, а вы сейчас головы ломаете. Хотя у меня вообще нет вариантов имен ни для девочки, ни для мальчика.