Espaces barycentriques

Bonjour !
Un corps commutatif $\K$, un ensemble non vide $\mathcal{E}$ et des applications $\K^n\times\mathcal{E}^n\to\mathcal{E}$ possédant deux propriété simples des barycentres (cas où les scalaires sont tous nuls sauf un, associativité : si vous trouvez cela trop vague, merci de lire les axiomes sur le document joint) et on peut obtenir une structure d'espace affine.
Je me doute bien que pour beaucoup d'entre vous ce ne sont qu'effractions de portes ouvertes mais, étant donné la faible remontée des moteurs de recherche usuels, j'ai pensé que le document joint pourrait plaire à certains curieux !

Bonne fin d'année à tous !