Arnaud Couderc

When on the player, we can see the time of the whole video and the time with segments cut:  It would be nice to be able to see this...