On the Mazur–Tate conjecture for prime conductor and Mazur's Eisenstein ideal - Emmanuel Lecouturier (2019)