https://123dok.net/document/yng0wx5p-diagramme-treillis-permutoèdre-intersection-diagrammes-produits-directs-ordres.html