Theia ne supporte plus les versions Docker (https://github.com/eclipse-theia/theia/issues/10261)
Nous maintenons une version précise avec les packages donc nous avons besoin sous $VERSION.package.json

Pour construire une image Docker de Theia : `./build.sh VERSION`  
Ceci va prendre le fichier `VERSION.package.json` et construire une image theia:$VERSION