My experiments around Why3