San Ildefonso (disambiguation)

San Ildefonso or just Ildefonso, is a masculine name, originally from the Gothic language. It is taken from the name Hildefuns meaning "battle ready" (hild "battle" combined with funs "ready").