Navigation: la fidélité après l’import et le réexport