¿Qué pasa con el crédito Infonavit de un fallecido?