That’s great, the only problem is that when using DATETIME_FORMAT, Monday is the first the of the week, but I just figured out a way to solve this (ie to make Sunday the first day AND use ISO week numbers), by adding +1 days like that:
VALUE(DATETIME...