Ironically, the French time format is best in my opinion, because some operating systems and services can’t handle colons in file names. ISO 8601 allows for Thhmmss.sss which can be represented in filenames, but I’d rather use something like 20h33m02.345 because it’s much easier to read at a glance than T203302.345, which looks like one decimal number.