El público infantil tiene un lugar especial en el 45 Festival Internacional Cervantino