adresse_courante = ""
adresses_precedentes = creer_pile()

def aller_a(adresse_cible):
    global adresse_courante
    adresses_precedentes.empiler(adresse_courante)
    adresse_courante = adresse_cible

def retour():
    global adresse_courante    
    if not adresses_precedentes.est_vide():
        adresse_courante = adresses_precedentes.depiler()