[Tutti-commits] 07/08: on ne pousse que les heures et les minutes quand on appelle set...Time (fixes #7996)