cf Homomorphisme.