Définitionsagrégeable