Merge branch 'stable/zinc'

README.md

@@ -15,7 +15,7 @@ and to ensure that the MetAcsl branch you intend to work on is compatible with i
  as well as any `stable/*` branch).
 
 Optional dependencies, needed for using the [deduction](#deduction) capabilities of MetAcsl include:
-- [Why3](https://why3.lri.fr) (only for checking the consistency of MetAcsl's deduction model)
+- [Why3](https://www.why3.org) (only for checking the consistency of MetAcsl's deduction model)
 - [SWI Prolog](https://www.swi-prolog.org/)
 
 Since version 0.4, MetAcsl uses [`dune`](https://dune.build/) as build system (following Frama-C's lead),