Formal deduction of the Saint-Venant–Exner model including arbitrarily sloping sediment beds and associated energyEnrique D. Fernández-Nieto, Tomás Morales de Luna, Gladys Narbona-Reina and Jean de Dieu ZabsonréESAIM: M2AN, 51 1 (2017) 115-145DOI: https://doi.org/10.1051/m2an/2016018