Repsol eleva su producción en el último trimestre de 2017 a una cifra récord de 715.000 barriles diarios