distributivité de la multiplication sur la soustraction