Pemex vende a futuro acciones de Repsol recibidas como parte del 'scrip dividend'