Badylon

Jest to imię germańskie z grupy dwuczłonowych imion złożonych. W części pierwszej zawarty jest element bad- / bady- 'walka, wojna', a w części drugiej 'formant spieszczający' -illo(n). Wygłosowe -n pochodzi z przypadków zależnych łacińskiej odmiany imienia, tj. Badylo / Badilo, -onis, -oni itd., analogicznie jak w imionach Otto(n), Bruno(n) itp.

W Polsce imię nie było używane.

Odpowiedniki obcojęz.: łac. Badylo, Badilo, Badylon, Badilon, fr. Badilon, niem. Badilo, Badell, Patilo, Patell.

Badylon, opat z Saint-Martin-d'Autun. Wedle Vita Hugonis (BHL 4003) był Akwitańczykiem, a żył w czasach Karola Łysego, do którego dworu należał. W r. 870 odrestaurował opactwo Saint-Martin-d'Autun, a potem odzyskiwał zagarnięte dobra tego opactwa. Nie bez prawdopodobieństwa utożsamiano go z opatem, który w r. 875 otrzymał cenne donacje. Miał umrzeć 19 marca 878 r. Potem dopatrywano się w nim także pierwowzoru dla postaci Badelona lub Badylena z legendy o Girardzie z Roussillon. Chodziłoby jednak wówczas o bratanka pierwszego; był on mnichem w Vézelay.