SYSTEM_CLOCK ne retourne que des secondes, mais DATE_AND_TIME donne bien des ms. Je connaissais cette fonction mais j'avais mal lu la doc.
Merci!