Une petite correction sur elements dans Clause