Devuelve el Infonavit a trabajadores 5,151 mdp