Why3 presentation by Arnaud