https://123dok.net/document/yr36rn8o-propriétés-permanence-existence-réalisations-minimales-algèbres-multisortes.html