tell about usage with devcontainer

README.md

@@ -30,12 +30,14 @@ and the corresponding patch to this repository (`git am --reject -i PR.patch`)
 - The exposed port is 3000
 - The user folder is `/config`
 - The user and sudo password is `abc`
-- If docker (or podman) is installed on your computer, you can run (`amd64` or `arm64` architecture) this 
+- If Docker (or Podman) is installed on your computer, you can run (`amd64` or `arm64` architecture) this 
   image, assuming you are in a specific folder that will be shared with the container at 
   `/config`, with:
   
   `docker run -p 3000:3000 -v "$(pwd):/config"
     gitlab-research.centralesupelec.fr:4567/my-docker-images/docker-openvscode-server:latest`
-- There is also an image using [Homebrew](https://brew.sh) as package manager to get the 
-  latest versions of the tools (tag `brew`, branch `brew`, only `amd64`)
+- If Docker and Visual Studio Code with the Dev Container extension are installed on your computer, 
+  download [devcontainer.zip](devcontainer.zip), unzip it and open the `config` folder with Visual Studio Code;
+  the local `config` folder (which can be renamed) will be shared with the container at 
+  `/config`