autodistributivité