Describir: Se realiza la primera emisión de Cedevis del 2012 por un monto de 4 mil 973 millones de pesos; monto histórico para el Infonavit