Sortie du contexte et procedure variable