ILDEFONZ – germán-nyugati gót eredetű; jelentése: harcra kész.