Yossi Yagur wrote:
"the name Michel is not related by any way to the name
The late Rabbi Shmuel Gorr's book "Jewish Personal Names, Their Origin,
Derivation, and Diminutive Forms"
(Avotaynu 1992) page 25 note #100 states:
" Ikhal Mikhal - An uncommon form derived >from phonetic playfulness. See
also Yehiel, which together with Mikhal is a popular combination of names.
This rare form Ikhal Mikhal became so entrenched that it was used even for
one whose name was Mikhal only."
Petah Tikvah, Israel