Where does “michel” come from?

michel (Middle English) comes from Old French Michel, from Latin Michāēl, from Latin Michahel, from Greek Μιχαήλ, from Ancient Greek Μιχαήλ, from Hebrew מיכאל, from Hebrew אֵל, from Hebrew שמואל.

michel (Middle English): The Archangel Michael