[Tutti-commits] 02/02: fixes #6375: La suppression dans l'historique des mensurations ne fonctionne pas tout le temps