Alcanza Infonavit 6 mil 109 millones de pesos con la emisión de Cedevis en 2009 (Infonavit, 2009)