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.