- implémenter la géométrie projective (intersections, lignes, plans, etc) car le rendu 3D utilise des points, des segments, des faces, des projections stéréographiques sans epsilon (voir https://www.youtube.com/watch?v=tX4H_ctggYo 1:24:50)
- perspective_projection_t devrait garder la profondeur et éviter le if
- implémenter un module de rendu avec export x3d (https://doc.x3dom.org/tutorials/basics/hello/index.html)
- tester les réductions en au plus une dilatation puis une rotation puis une translation
- eval is an endomorphism over + and *