Deploy key updatd

Author: dcoeurjo

.github/workflows/buildAndDocumentation.yml

@@ -166,10 +166,10 @@ jobs:
          make doc > buildDoc.log
 
     - name: Deploy to GitHub Pages
-      uses: JamesIves/github-pages-deploy-action@4.1.4
+      uses: JamesIves/github-pages-deploy-action@4.6.1
       if: github.event_name == 'pull_request' && github.event.action == 'closed' && github.event.pull_request.merged == true
       with:
-        token: ${{ secrets.DEPLOYTOKEN }}
+        token: ${{ secrets.DGTALTOOLSDOC }}
         branch: master
         repository-name: DGtal-team/doctools-nightly
         folder: build/html