Kaituhi: Grande, Ildefonso (traducción)