Describir: Alcanza Infonavit 6 mil 109 millones de pesos con la emisión de Cedevis en 2009