la vérification formelle ne vous sauvera pas ! la spécification peut avoir des bugs !!
5,56K