Portages de langage, vérifiés

Traduis un module déjà migré vers un second langage, puis livre-le avec la même preuve qui a montré que l'original fonctionnait.

Fait partie de : Code legacy avec l'IA : comprendre, moderniser, migrer