/**
 * Retour dans 2 cas distincts : page aperçu du poseur d'annonce, 
 * et page consultation du parcoureur d'annonce.
 */
function myHistoryBack() {
    var myForm = document.getElementById("formul1"); 
    if (history.length <= 1) {
        window.close();
    } else if ( myForm != null ) {
        myForm.submit();
    } else {
	    history.back();
	}
}

/**
 * Soumettre un formulaire en mettant l'attribut 'page'
 * à la valeur page.
 */
function myListingSubmit(page) {
    var myForm = document.getElementById("formul1");    
    myForm.elements["pagef1"].value = page;
    myForm.submit();
}


/**
 * Fonction permettant d'afficher/masquer une DIV portant le nom
 * 'controle'. La mise en oeuvre de cette fonction suppose l'utilisation 
 * des styles 'tumevois' et 'tumevoispas'
 * @param {Object} controle
 */
function toggleVisibility(controle) { 
    if (document.getElementById(controle) .className=="tumevois") {
        document.getElementById(controle) .className="tumevoispas";
    } else {
        document.getElementById(controle) .className="tumevois";
    }
}