function terminaux(nb_terminaux_max)
{
this.nb_terminaux = 0 ;
this.terminal = new Array(nb_terminaux_max) ;
this.ajouter_terminal = terminaux_ajouter_terminal ;
}

function terminal(nom, postes)
{
this.nom = nom ;
this.postes = postes ;
}

function terminaux_ajouter_terminal(nom, postes)
{
var nouveau_terminal ;

var nb_terminaux_max = this.terminal.length ;
var nb_terminaux = this.nb_terminaux ;

if (nb_terminaux >= nb_terminaux_max) 
	return(null) ;

nouveau_terminal = new terminal(nom, postes) ;
this.terminal[nb_terminaux] = nouveau_terminal ;
this.nb_terminaux = nb_terminaux + 1 ;

return(nouveau_terminal) ;
}

var nb_terminaux = 6 ;
var bx_terminaux = new terminaux(nb_terminaux) ;
bx_terminaux.ajouter_terminal("Bordeaux", Array(1,2,3,9999)) ;
bx_terminaux.ajouter_terminal("Verdon", Array(8,9999)) ; //3,4,5,6,7,8,9,11,15,16,
bx_terminaux.ajouter_terminal("Blaye", Array(6,9999)) ;
bx_terminaux.ajouter_terminal("Ambes", Array(5,9999)) ;
bx_terminaux.ajouter_terminal("Bassens", Array(4,9999)) ;
bx_terminaux.ajouter_terminal("Pauillac", Array(7,9999)) ;


function trouver_nom_terminal(no_poste)
{
var nom_terminal, nb_postes, i, j, terminal ;
var nb_terminaux = bx_terminaux.nb_terminaux ;
if (no_poste != "")
	{
	// modif, on ne tient compte que du premier numéro
	
	no_poste = no_poste.substring(0,1) ;
	no_poste = parseInt(no_poste) ;
	}
	
for (i = 0 ;i < nb_terminaux ; i ++ )
	{
	terminal = bx_terminaux.terminal[i] ;
	nom_terminal = terminal.nom ;
	nb_postes = terminal.postes.length ;
	//alert(nom_terminal + " " + nb_postes) ;
	for ( j = 0 ; j < nb_postes ; j ++ )
		{
		if (terminal.postes[j] == no_poste)
			{
			//alert(terminal.postes[j] + " - " + no_poste + " - " + nom_terminal)
			return(nom_terminal) ;
			}
		}
	}
}