Estos son los personajes principales de Minúsculos: El valle de las hormigas perdidas, la película