axiomatisation de la géométrie