Ensemble ordonné par la relation de division