Un grand merci pour votre réponse, l'extension fonctionne sur tous les postes (on a Sketchup 2016).
On a installé Sketchup 2017 sur un seul poste. Contrairement à la version 2016, il a été possible de télécharger l'extension stl depuis le poste en étant connecté en tant que prof et elle fonctionne!