sauf qu'il y a une partie qui a été prouvée. après, je sais pas comment ça été exactement prouvé (c'est spurque prouver le code C mais pas le compilo/ assembleur, ça sert un peu à rien ...)