Ben qu'on est pas près de voir arriver la preuve formelle dans les processus industriel de création de logiciels ^^.