Necesario formalizar ante notario el traslado de dominio de la vivienda adjudicada a los beneficiarios del trabajador acreditado por el Infonavit