https://123dok.net/document/y961v32w-double-distributivité.html