function changement_image(num_image)
{
	document.getElementById('image_centrale').src = information_image[num_image]['src'];
	document.getElementById('image_lieu').innerHTML = information_image[num_image]['lieu'];
	document.getElementById('image_titre').innerHTML = information_image[num_image]['titre'];
}