Envoyer la notice par courriel: Axioms as Definitions: Revisiting Poincaré and Hilbert