Merci ! Je ne connaissais pas Zenodo.

You're welcome, glad I could help, years of sitting at seminars outside my field finally paying off !

In this context I wouldn’t be surprised if « almost every graph is X » means « the probability that a random graph in G(n,p) is X goes to 1 as n->oo » though this is way out of my comfort zone.

Tout ça nous emporte sans surprise vers un modèle où avec TGV pour les chicos, possible de sortir son macbook pro pendant le trajet, et flixbus pour les prolos, possible de sortir son numéro de septembre de multijeux sudoku format 15cmx10cm

Ce petit piano au générique d'introduction sent tellement la naphtaline.

Vu et supprimé en conséquence...

Donc si on met 1 dans les premiers il faut mettre « premiers supérieur à 1 » dans le théorème. On préfère que 1 ne soit pas premier et on prend une définition qui donne ça.

Pour que le théorème « Tout entier naturel se décompose uniquement (à l’ordre des facteurs près) en produit de nombres premiers » soit vrai, 1 ne peut pas être premier (sinon on pourrait toujours ajouter des 1 dans la décomposition).

(et en hiver c'est seulement en semaine, avec un passage dans un sens à 15h et l'autre à 16h30, ça fait donc une "petite ligne" inutile pour faire un aller-retour où que ce soit sur la journée).