Définition, générateurs et action du groupe de Weyl