[Tutti-commits] 01/03: Correction de l'icone d'ascenseur qui a disparu (fixes #7920)