antunesi", fue nombrada en honor al paleontólogo portugués Miguel Telles Antunes.