Pour utiliser Sofus hors ligne, voici l’algorithme à appliquer :

• Aller sur le site du code source ;
• (facultatif : Lire le poème et rire :-D)
• (facultatif : cliquer sur ★ star en haut à droite ;-D)
• cliquer sur clone or download vers le haut à droite ;
• dans le cadre qui s’ouvre alors, cliquer en bas sur download zip ;
• au bout d’un certain temps, le téléchargement est complet. Aller alors dans le dossier des téléchargements (celui de Chrome par exemple s’appelle Downloads ou Téléchargements ; on y accède en cliquant sur ouvrir le dossier depuis l’onglet de téléchargements) ;
• le fichier sophus_master.zip est en réalité un dossier compressé (« zippé ») ; le décompresser (« dézipper ») par exemple à l’aide d’un clic droit suivi de l’option extraire ;
• On se retrouve alors en présence d’un dossier contenant pas mal de choses, mais surtout un fichier sofus.html qu’il suffit d’ouvrir dans un navigateur internet (Chrome ou Firefox conseillés).

Noter que cette dernière étape peut se faire ad libitum hors ligne. On peut par exemple, préalablement à la séance en classe, charger le dossier dans les tablettes des élèves, ce qui leur permet ensuite (pour peu que Chrome ou Firefox soit installé sur les tablettes) de programmer sans avoir à activer la wifi.

Voici, extrait de cet article, un programme de calcul créé et décrit par des élèves de 6^e ; à gauche, l’original, à droite la traduction en Sofus :

Pour décoder le pokémon	Version Sofus

On constate qu’à part l’implicite « le résultat précédent », les deux versions sont très proches l’une de l’autre, ce qui montre bien le caractère naturel de la programmation en Sofus en cycle 3 ! Cette similitude s’accentue encore si on constate que les « z » finissant les verbes à l’impératif ont été des « r » de l’infinitif [1] ; c’est tout de même plus poli même lorsqu’on s’adresse à une tortue cybernétique ou un lutin félin...]] complétés (on voit le « r » initial à la première ligne).

On remarque tout de même une différence : Alors que « augmenter de » a été abrégé en « ajouter », son pendant « diminuer de » a bénéficié de plusieurs traductions, ce qui montre une hésitation :

• « enlever » à la ligne 3 ;
• « enlever » à nouveau, à la ligne 7 ;
• « enlever » encore une fois, à la ligne 8 ;
• mais « soustraire » à la ligne 9 (et on aperçoit le mot « par » effacé).

Ceci montre que ces élèves font la différence (!) entre l’opération de soustraction et le fait de décrémenter une variable. Mais « soustraire par » ne se dit pas, et « soustraire de » est hors sujet. Enfin, le verbe « décrémenter » est inconnu même des élèves de cycle 4. D’ailleurs il y a une ambiguïté dans l’utilisation de ce verbe sans complément, la décrémentation qu’on utilise en langage assembleur correspondant toujours à une diminution de 1, ce raccourci a été transposé quelque peu arbitrairement à Sofus.