Update sha and size (cyberbotics#6268)

Author: Benjamin Délèze

docs/guide/installation-procedure.md

@@ -136,7 +136,7 @@ However, the sand-boxing constraints of snaps yield the following limitations:
 ##### Download Size
 
 The download is significantly bigger as it includes all the dependencies of Webots (ffmpeg, Python, C++ and Java compilers, etc.).
-For Webots R2023b, the download size of the snap is 778MB compared to 186MB of the Debian package.
+For Webots R2023b, the download size of the snap is 651MB compared to 146MB of the Debian package.
 
 ##### Extern Controllers
 

docs/guide/setup-a-webots-project-repository.md

@@ -10,7 +10,7 @@ In order to run a Webots simulation from a source code repository, the repositor
 
 ### Docker Solution
 
-All these dependencies could be bundled into a Docker image constructed from a root Docker image such as [cyberbotics/webots.cloud:R2023a-ubuntu20.04](https://hub.docker.com/layers/cyberbotics/webots.cloud/R2023a-ubuntu20.04/images/sha256-d2dfd82fba27d0aa7f02ac27b1692a4fdb2b642f789618098d4dce70d80d2c3e?context=explore) to which additional dependencies could be added.
+All these dependencies could be bundled into a Docker image constructed from a root Docker image such as [cyberbotics/webots.cloud:R2023b-ubuntu22.04](https://hub.docker.com/layers/cyberbotics/webots/R2023b-ubuntu22.04/images/sha256-3ed195249ecb12d887e8c1674aff8de36934d1bfcbc1d5e07b9c815567ad8159?context=repo) to which additional dependencies could be added.
 
 #### Running a Simulation