Thales fournira le système de navigation de l’avion de transport brésilien KC-390