ميكال؟!!

[Lilith1988]

مَن كَانَ عَدُوًّا لِّلَّهِ وَمَلَائِكَتِهِ وَرُسُلِهِ وَجِبْرِيلَ وَمِيكَالَ فَإِنَّ اللَّهَ عَدُوٌّ لِّلْكَافِرِينَ.
من هو ميكال؟ هل هذا اسم عربي؟ هل هو ميكائيل؟ ( ميخائيل)، إذا كان هو لماذا استعمال هذا الإسم التصغيري؟