C'est d'abord ce que je voulais utiliser, mais Alexis m'a plutôt conseiller d'utiliser la fonction clock() en C, mais je ne sais plus exactement pourquoi ...