Towards an Independent Version of Tarski's System of Geometry. - Pierre Boutry; Stéphane Kastenbaum; Clément Saintier (ADG, 2023)