Use the Debian version to build the documentation

Signed-off-by: William Desportes <williamdes@wdes.fr>

.github/workflows/other-tools.yml

@@ -18,13 +18,8 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v4
 
-      - name: Set up Python
-        uses: actions/setup-python@v5
-        with:
-          python-version: '3.7'
-
       - name: Install Sphinx for the documentation build
-        run: pip install 'Sphinx'
+        run: sudo apt install sphinx-doc python3-sphinx
 
       - name: Build the documentation
         run: make -C doc html SPHINXOPTS='-n -W -a'