[Tutti-commits] 03/03: fixes #6610: [TECH] Mauvaise fermeture des bases