work on the symplectic Brezis-Ekeland-Nayroles principle