// affichage d'un panel
function setPanel(panel)
{
    // on désactive tous les panels
    document.getElementById("panel-horaires").style.display = "none";
    document.getElementById("panel-trajets").style.display = "none";
    
    // puis on active le bon panel
    document.getElementById("panel-" + panel).style.display = "block";
    
    // on remet les selected à vide
    document.getElementById("onglet-horaires").className = document.getElementById("onglet-horaires").className.replace('selected','');
    document.getElementById("onglet-trajets").className = document.getElementById("onglet-trajets").className.replace('selected','');

    // on affiche le bon bouton
    if (panel == "trajets") {
        document.getElementById("onglet-trajets").className += "selected";
     }   
    else if (panel == "horaires") {
        document.getElementById("onglet-horaires").className += "selected";
    }

}