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