typiquement, R, Q, Z vérifie le cas où l'appli a -> (x -> a*x) est surjectif je pense