ajout timer pour mesurer le temps d'execution