Simple distributivité