Bastien Laboureix, Eric Domenjoud: On the connectedness of arithmetic hyperplanes. Theor. Comput. Sci. 1017: 114797 (2024)