Cepsa vende 4.700 puntos de suministro de gas a Redexis