Loading paper
Tame maximal weights, relative types and valuations | Tomesphere