[Tutti-commits] [tutti] 02/02: fixes #5997: [IMPORT] Améliorer la gestion des référentiels temporaires (suppression des navires)