Logique et preuve 1 — Jean-Raymond Abrial