public void mouseReleased(MouseEvent e) {
		//permet de mettre à jour les champs de texte lorsque l'on a bougà le curseur du slider
		if (e.getSource() == slider){
			val_S.setText(Integer.toString(slider.getValue()/1000));
			val_ms.setText(Integer.toString(slider.getValue()%1000));
			val_S.setColumns(2);
			val_ms.setColumns(3);
			afficher_horsligne(false, slider.getValue());
		}

	}