Third Point compra una participación en la española Indra, según una fuente