Version 2023.8

Corrections de bugs

• Correction d’un problème avec Forge qui n’avait pas de lien valide

Mises à jour

• Mise à jour des versions de Magma
• Suppression de certains codes inutilisés