[Tutti-commits] 05/05: fixes #6368 (revue des ecrans de frequences...)