[Tutti-commits] 01/02: grand nettoyage de printemps + fixes #8232