Ildefonsus van Toledo - andere talen