MIKE – a Mikhál (ma: Mihály) régi önállósult becézőjéből.