Cyclotomie+Dirichlet faible+application aux GAF+Bonus sur Galois inverse

Ce développement et un grand paquet de goodies contenant :\r\r- L'irréductibilité des polynômes cyclotomiques\r- Si m est entier, alors (Progression arithmétique de Dirichlet, version faible ) il existe une infinité de p premiers congrus à 1 modulo m (l'intérêt est que ces deux résultats se prouvent de façon semblable)\r- (Application) Tous les groupes abéliens finis sont des quotients d'un groupe $\mathbb Z/n\mathbb Z^\times$.\r- (bonus) les extensions cyclotomiques et leur groupe de galois\r- (bonus) un bonus : tout groupe abélien fini est isomorphe au groupe de Galois d'une extension galoisienne de $\mathbb Q$