Bon, j'ai fait ça en speed:
http://dreamagain.free.fr/algo.jpg
C'est une notation algorithmique classique et ça devrait être compréhensible par tout le monde et peut-être éviter de nombreuses questions.
Les traits pleins sont des quasi-certitudes, les pointillés sont des suppositions.
C'est une version alpha de chez alpha et je ne vais pas y passer plus de temps ce soir (longue journée demain qui va commencer tôt), ce sera amélioré plus tard.