Définitionsdivisiblement