Murió Andy Grove, el hombre que hizo de Intel un gigante