Alcanza Infonavit cifra histórica de Cedevis; se emiten 4 mil 926.8 millones de pesos (Infonavit, 2010)