1. Уч-к Random дал перевод куска из "Битвы при Пуатье", вышедшей в 1966 г. Для авторов, Руа и Девиоса, это его некое родовое имя, данное при рождении в честь кого-то там.
2. В первом томе Истории Франции его автора Бурер-Тьери и Мерьё придерживаются традиционной версии про "молот", т.е. тот, кто бьёт врагов как молот.
3. У Контамина в нескольких его книгих по Средневековью, но на разные темы, ничего не нашёл; в "Меровингах" Эклана тоже, а его свежих "Каролингов" я пока не купил.
4. Минуа в своей "Истории Средних веков" считает, что прозвищу Martel он обязан своей огромной энергии, безусловному политическому чутью и выдающимся военным способностям. Лебек в 1-м томе "Новой Истории средневековой Франции" соглашается с ним, считая, что Martellus красноречиво говорит о его воинственности.
5. В паре историй Прованса не нашёл ничего про происхождение прозвища, только описание походов Карла сюда.
В общем, версия про "молот на зло врагам" представляется более обоснованной. Кроме Руа и Девиоса, отнёсших, например, битву при Пуатье к 733 г. :-), никто про "крёстное имя" не говорит.