Dans la première partie de cet article, l’auteur présente SymPy, une bibliothèque Python de calcul symbolique, qu’il associe ensuite à Blockly pour prolonger la traditionnelle programmation visuelle numérique par de la programmation visuelle symbolique. Dans la suite de l’article, il se charge de l’utiliser dans une nouvelle version du logiciel SofusPy. Pour rendre attractive la programmation visuelle formelle, l’auteur l’envisager en tant que prolongement de la programmation visuelle classique. C’est pourquoi il a cherché à ce qu’un programme créé pour manipuler des réels puisse facilement être adapté à des fractions ou à des expressions formelles, c’est ce qu’il illustrer avec ce programme de calcul présenté dans le Mathématice n°°52 . Il montre ensuite qu’il est possible de l’adapter à des nombres complexes et … même à des matrices ! C’est juste pour illustrer les potentialités de SofusPy, sans changer de thématique pour faciliter la lecture de l’article. Cet article a permis à son auteur d’illustrer les possibilités de Python en matière de calcul formel, possibilités bien plus importantes qu’il ne le supposait au départ