https://123dok.net/document/q5m00667-irréductibilité-des-polynômes-cyclotomiques-sur-q.html