Unification des unités de temps de calcul dans le débusqueur, c'est trompeur que les nombres inférieurs à 1 soient des temps plus longs que ceux supérieurs à cause du changement d'unité. Cette modif affecte la fonction spip_timer en général, qui ne donne plus que des millisecondes: comme les processus HTTP sont limités à qq dizaines de secondes (30 en général), en pratique la plupart des temps affichés seront inférieurs à la seconde, autant se cadrer là-dessus. J'ajoute un espace après le chiffre des milliers pour les rares cas où il apparaît afin que ces nombres restent lisibles.