optimisation, mesure de temps