El jardín animado, de Pequeños duendes