Update to 11.2.5

Update to the latest version of the 11.2.x branch.

v11.2.5 released on 2024-07-08 with various bugfixes.

See: https://www.projeqtor.org/fr/product-fr/downloads-fr/historique-des-mises-a-jour-xxx