session airborne = NTP4Verif +
sessions
  "Why3STD"
theories
  "Compound_Compound"
  "Axiomatic15_Axiomatic15"
  "S10_RealRMat_s_S10_RealRMat_s"
  "Axiomatic17_Axiomatic17"
  "S11_RealQuat_s_S11_RealQuat_s"
  "Axiomatic19_Axiomatic19"
  "Axiomatic18_Axiomatic18"
