Inter, Gardini nuovo dirigente. Il suo passato?