Thank you for this answer.

sh3d does not complain when I import these libraries, but I can't find where they are imported.

If the file is an sh3f one, there is no problem.... Other files (obj for instance) do not appear...

F.P.