Timestamp Explorateur

TODO(fr): GPS / TAI use the current 18 / 37 second offsets (valid 2017–present); historical leaps not modelled.