(Ampl.) OHL vende un 7% de Abertis valorado en 894 millones de euros