Landing at SBRJ with low visibility after a GPS failure with the TBM 930