[Tutti-commits] 01/01: fixes #6859 gérer les deux types de path dans l'archive