des idées sur la valeur moyenne d'un utilisateur d'axiom ?