A dS4 maximum solution of M-theory--fully explicit and under control--will be presented.
This solution arises from a balance of Casimir energies and fluxes, in a compactification of 11d supergravity on a 7-dimensional Riemann-flat Manifold (RFM). In this talk, I will present the different ingredients required, highlighting their key features, and the 4d de Sitter maximum we have found, including its main properties and control.