Добавить краткую форму к имени "Антоль".

Для имени "Антоль" нет кратких имен.