correction prefixe, essai de la lib time pour mesurer des temps d'exécution