session gcd_bezout_vc_sp = NTP4Verif +
theories
  "gcd_bezout_vc_sp_GcdBezout_gcdqtvc"
