STL codec: should use binary file format

I suggest to use the binary format for STL generation, or make it configurable

Commencez par suivre le chemin de conversion de la sortie de la CLI pour la génération de STL et déterminez comment le format actuel est sélectionné. L’issue laisse ouverte la question de savoir si la sortie binaire doit remplacer le format existant ou être configurable ; clarifiez ce choix avant l’implémentation. Le travail est considéré comme terminé lorsque la génération de STL produit la sortie binaire prévue ou expose la configuration convenue, avec une vérification des deux chemins le cas échéant.

Rédigé par le modèle d'indexation à partir du texte de l'issue.