Oui, j'essaye de formaliser ça du mieux que je peux 
Mais je sais pas comment présenter ça exactement : si c'est en prenant des applications sur N ou en conservant le vocabulaire algorithmique, si c'est comme pour une thèse ou un style plus "libre",... De plus, je n'ai, je pense, réussi pour l'instant que la première moitié, vu que j'essaye de réfuter les deux antithèses de la conjecture. La deuxième, va falloir encore que je trime là-dessus.