CI: Workaround an issue on GitHub's macos runners

Author: quark17

.github/workflows/install_dependencies_doc_macos.sh

@@ -2,4 +2,14 @@
 
 brew update
 
+# The install of 'texlive' may cause the install of a newer version of
+# 'python', which could fail because it cannot overwrite links for
+# older versions, due to an issue with the GitHub runner images:
+#   https://github.com/actions/runner-images/issues/9966
+# To avoid that, we unlink and install with overwrite:
+#
+for python_package in $(brew list | grep python@); do
+    brew install --overwrite ${python_package}
+done
+
 brew install texlive