public void mouseClicked(MouseEvent e) {
		if (e.getSource() == slider){		
			//convertit la position de la souris au moment du click en une valeur comprise par le slider (0 -> 90000)
			double temp = e.getPoint().getX() * slider.getMaximum() / slider.getSize().getWidth();
			val_S.setText(Integer.toString((int) temp/1000));
			val_ms.setText(Integer.toString((int) temp%1000));
			val_S.setColumns(2);
			val_ms.setColumns(3);
			afficher_horsligne(false, (int) temp);
		}
	}