function ShowBigImage(image) {
   var bigimg = document.getElementById('grosse_image');
   var save_src = bigimg.src;
   bigimg.src = image.src;
   image.src = save_src;
}