public void reset() { replay.setTime(0); }
// retourne au temps t du fichier public void time(int time) { replay.setTime(time); }