Macaque vous dites « ...mais on peut prouver qu’un algorithme respecte certaines propriétés.. ».
Nous sommes bien d’accord, mais on ne peut pas prouver qu’il respecte toutes et, surtout, QUE les propriétés souhaitées.
Et c’est cela une preuve formelle.