Comment obtenir l'heure actuelle en millisecondes en PHP ?

Bonjour à tous ! Je viens de commencer à apprendre PHP et j'ai rencontré un problème : je dois mesurer le temps d'exécution d'un script avec une précision en millisecondes. Je sais qu'il existe en PHP la fonction time() qui retourne le timestamp actuel en secondes, mais cela ne suffit pas — j'ai besoin des millisecondes. J'ai essayé d'utiliser microtime(), mais je n'ai pas bien compris comment la convertir en un format pratique. Voici ce que j'ai écrit : ```php ``` Cela fonctionne, mais donne seulement les secondes. J'aurais besoin de quelque chose comme : "Temps d'exécution : 0.023 secondes" ou simplement une valeur en millisecondes, par exemple 23 ms. J'ai entendu dire qu'on peut utiliser microtime(true), mais je ne comprends pas comment l'utiliser correctement. Aussi, int