Salut,
en fait tu dois avoir si le côté droit une fenêtre avec un onglet "historique" et l'onglet "script", tu cliques sur "script" et ensuite il y a une toute petite flêche noire à droite de cette fenêtre, là tu cliques et tu vas sur "charger des scripts" et là tu va récupérer ton fichier en ".atn" de ton script et hop il est téléchargé
amuse toi bien