• Type A
  • Type B
  • Disj.- différentiels
  • Connectables