ajout de timer.c, un truc de mesure du temps