Export SVG, et tester les exports SVG+PNG
Fait suite à !287 (merged).
Reverter partiellement 3eb36527 et donner une possibilité d'export en .svg, en plus du .png.
Fait suite à !287 (merged).
Reverter partiellement 3eb36527 et donner une possibilité d'export en .svg, en plus du .png.