Logique et preuve — Jean-Raymond Abrial