Axiomes, définitions et conventions 

https://axdef.hypotheses.org/332