Ildefons ^♂

Del germánico, nombre compuesto que significa "batalla" y "veloz, rápido".