Manim est un moteur graphique pour animer des vidéos de maths.