@Lurker4’s suggestion (above, time illegally in red flashing over 4 minutes (70.3)) gets a paste and shout (at 13:00 in the GTN video). Extra time to be served at a penalty tent rather than just ‘added’ to an athlete’s time, to have both an immediate effect and a deterrent effect (pour désencourager les autres).