Антоха или Лёха, какое имя лучше?

Антон или Алексей?

Антоха

Антон, Антоша, Тоха, Антоха, Антонка, Антоня – мужское личное имя от латинского родового имени Антоний. По другой версии, возможно, оно происходит от др.греч. αντεω, ανταω («состязаться», «вступать в бой»). Следующее значение имени Антон — «цветок», «цвет» — в переводе с греческого «anthos»
Зарубежные синонимы имени Антон: Антоний, Антонин, Энтони, Антониус, Антуан, Антонио, Антони, Анталь. Женские варианты имени – Антонина и Антонида.

Лёха

Алексей, Алёха, Лёша, Алюня, Лексейка, Лёха – мужское личное имя. Зарубежные синонимы имени Алексей: Алексиус, Алексис, Алехо, Алессио, Алексиос, Алекси, Алексас. Имя произошло от древнегреческого др.-греч. Αλέξιος, образованного от др.-греч. ἀλέξω — «защищать», «отражать», «предотвращать».
В России имя Алексей достаточно популярное с давних пор, от знати и до простолюдинов. Среди русских царей стоит отметить в данном случае Алексея Михайловича Романова. Также такое имя было у царевича, последнего императора России Николая Второго.
В наши дни, пожалуй, почти нет компании, где не было бы человека с таким именем.