[ceb] Casita del Infante

[eo] Dometo de la Infanto

[es] Casita del Infante (San Lorenzo de El Escorial)

[sv] Casita del Infante