Définition, propriétés et opérations des automorphismes de domaine