déduisirent