Définitionsdésaugmenter