Traduction "deduction principle" en Francais