root systems and Weyl groups