Opération qui consiste à admettre une proposition en raison de son lien avec une proposition préalable tenue pour vraie. CNRTL