[Tutti-commits] 01/03: mauvais merge (refs #8081)