[Tutti-commits] 01/01: correction du redimensionnement (fixes #8162)