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