var photo = new Array(npub) ;

// Mise en mémoire cache des images
// la fichier .liste/liste_urls doit avoir été inclus préalablement
for (var i=0 ; i<npub ; ++i) {
  photo[i] = new Image() ;
  if (recent[i]) {
      photo[i].src = url_recente+'/vignettes/'+lucarne[i] ;
// Ceci ne marche pas : temoin n'est pas forcément à jour quand le menu principal se cjarge
// -> il faut charger la liste des url depuis le fichier html du contenu (qui ne doit pas
// être sur le site lointain)
//    photo[i].src = parent.temoin.url_recente+'/vignettes/'+lucarne[i] ;
  } else
    photo[i].src = 'vignettes/'+lucarne[i] ;
}

function animer(numero) {
  if (parent.menu.document.lucarne)
    parent.menu.document.lucarne.src = photo[numero].src ;
}

animer(defaut) ;

/*
IMAGETTES POUR LE SITE 
traitement de fichiers multiples, jpeg résolution 200 x 136 pixels,
JPEG qualité supérieure
Egalement je fais pour les photos de titre, une sauvegarde pour le web
manuelle à cette résolution (le fichier est beaucoup plus petit).
Attention, il faut cliquer sur « Appliquer » en-dessous de la résolution,
avant de sauvegarder
*/