The file was saved, albeit using an "obj" format, but into a file with an ".stl" extension. The software was fixed to propose a file to save with a correct ".obj" extension.
8ea8eb67e4