format python secondes à HH MM SS

import time
time.strftime('%H:%M:%S', time.gmtime(12345))
#'03:25:45'
HosseinZaaferani