repris du CoqBlog http://blogs.developpeur.org/coq/archive/2004/07/07/2051.aspx ... En lisant la newsletter MSDN du 06/07/2004 j'ai remarquer dans la colonne "A ne pas manquer", un lien vers un "petit" ppt : 'Ecrire du code sécurisé, la quête du Graal',