$TIME est tout simplement sous-évalué.
770