Formule de Ramanujan-Wilson

Le développement est assez long et calculatoire, il faut être à l'aise et rapide avec les DES. L'application peut juste être mentionnée sans l'inclure dans le développement, mais la question "à quoi sert cette formule ?" risque d'être posée donc il faut connaître au moins les idées de la démonstration de l'application.

Généralisation du théorème de Lambert

Personnellement je n'utilise ce développement que pour la leçon 127 (nombres remarquables). J'avais besoin d'un développement dans cette leçon et comme j'ai un bas nombre de devs, ca me dérange pas que celui-ci ne serve que dans une seule leçon. La démonstration colle très bien à mon plan car elle utilise de l'approximation diophantienne sur un corps de nombres et j'en parle.

J'ai mis deux autres recasages possibles mais je ne pense pas vraiment qu'ils soient exploitables.

Le développement n'est pas trop long si on présente bien tous les outils dans sa leçon avant. Sinon, il n'est pas faisable.