Hello, Just to let you know that I updated the default version of Jeuclid to the version 3.1.3. Note that the help won't build with the version 3.0.X. Sylvestre