[Python] How to show milliseconds with time?

How can I show the milliseconds with the library time because
time.time is precise (or at least show) up to 0.01 seconds and it
seems it's not possible to print more than seconds... An idea?

I use

time.strftime("%H:%M:%S", gmtime(time.time()))

Fabien