merge: fusion de la branche inté '5.18.0-develop' dans la branche dév '5.18.0-develop--ignore-repl-geoloc-err'