Fix(lean,#15629): Lean-16a conway -- encoding=utf-8 sur l'appel subprocess text=True du helper lake - #19415

Fix(lean,#15629): Lean-16a conway -- encoding=utf-8 sur l'appel subprocess text=True du helper lake#19415

myia-ai-01 merged 5 commits into

mainjsboige/CoursIA:mainfrom

fix/15629-lean16a-encodingjsboige/CoursIA:fix/15629-lean16a-encodingCopy head branch name to clipboard