session gcd_bezout = NTP4Verif +
theories
  "gcd_bezout_GcdBezout_gcdqtvc"
